Highly accessible themes for GNU Emacs, conforming with the highest standard for colour contrast between background and foreground values (WCAG AAA).

Guile bindings for libnotify

OCaml Ctypes stubs generation notes

OCaml bindings to the C portaudio library

Guile bindings for libxosd

Modern scientific computing for OCaml

Declarative events and signals for OCaml

An interface to communicate with Jupyter kernels.

directories is an OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows. The following conventions are used: XDG…

An overlay on Eglot for editing OCaml code using LSP

Cagebreak: A Wayland Tiling Compositor Inspired by Ratpoison

(Mirror) Generator for swaybar written in Guile Scheme. Please use Codeberg for issues and PRs.

Fuzzy type search for OCaml documentation

Progress bar library for OCaml

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

GNU Guile Scheme bindings for OCaml

Extensible Guile bindings for SwayWM

Monte Carlo tree search in JAX

♟️ Vectorized RL game environments in JAX

Manage org-mode TODOs for your projectile projects

An IBuffer inspired tool to control Stumpwm from Emacs

Watch and merge cytrus.json changes

Tree-sitter powered 🌳 motions for Meow 🐱

Lots of configuration, need to share between computers.

There's no place like $HOME

Irmin is a distributed database that follows the same design principles as Git

The Reckless Racket Shell

Multi target interface to compile.

emacs package multi-compile

OCS: a mirror of the ocaml OCS scheme interpreter