Gopiandcode

emacs-viewer

A web frontend for your Org-files (100% faithful to GNU+Emacs!)

petrol

Petrol's an OCaml SQL API made to go FAST.

ocamlot

An Activitypub server in OCaml!

rhombus-in-the-rough

A 2D RPG implemented in the Rhombus Racket dialect

gopcaml-mode

[MIRROR] Ultimate Ocaml Editing Mode

guile-ocaml

GNU Guile Scheme bindings for OCaml

SWIPL-OCaml

SWI-Prolog Bindings for OCaml: https://gopiandcode.github.io/SWIPL-OCaml/swipl/index.html

deriving-such-that

rhombus-mode

Emacs Major mode for Rhombus (experimental)

cleango

Bindings to libclingo for the lean4 prover and programming language!

.nyxt.d

.nyxt.d config file (placed under $HOME/.config/nyxt/

clingo-lang

#lang clingo for Racket (WIP)

ocaml-pug

Pug(lite) parser & compiler in OCaml

aoc-rhombus

Let's do AOC in Rhombus!!! (Why? because I hate myself :sob: :sob: :sob:)

axiom-profiler-2

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).

c-alignment-stuff-

???

core_kernel

Jane Street's standard library overlay (kernel)

elpi

Embeddable Lambda Prolog Interpreter

experiments-with-verification-ocaml

Experiments using CFML2 to verify code + dune

flat-combiner

Flat combiner written in OCaml

godot-emacs-plugin

Emacs bindings for Godot (WIP: read not working, hopefully soon, help appreciated :) >w< uwu)

http_sig_ocaml

HTTP Signatures for OCaml

lablgtk

LablGTK 2 and 3: an interface to the GIMP Tool Kit

lean4

Lean 4 programming language and theorem prover

obatcher_ds

ocaml-cisp

Based on luc doebereiners processes an implementation of my lib Cisp in Ocaml

ocamldebug-plus-plus

OCamldebug++? Maybe let's see.

opam-repository

Main public package repository for opam, the source package manager of OCaml.

ppx_meta_elpi

PPX using elpi

typebeat

Keyboard-controlled music sequencer, sampler, and synth