Starred repositories
Kan — an experimental language whose one primitive is the universal completion of a partial diagram (README-driven, category-theoretic core).
Emacs / Org mode integration with TickTick task management API
Alabaster Themes implemented on top of Modus Themes
archive of martine.bruhat.pagesperso-orange.fr
Pure-OCaml SQL engine targeting MirageOS unikernels
GNU Hyperbole: The Everyday, Hypertextual Information Manager
GNU Hyperbole: The Everyday Hypertextual Information Manager
Diagrams as CUE data: a visual editor and evaluation server with schema validation and policy-pack governance.
Pidgin is a common language for describing and validating complex data structures
Decrypting RPG Maker game assets (XP / VX / VX Ace / MV / MZ).
Le langage pour les algorithmes d'intérêt public
A very simple implementation of a non-empty list (which does not depend on Base).
Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, network and protocol interfaces, dynamic data sources, and se…
An Emacs package to stream YouTube audio (powered by yt-dlp and mpv)
PixiEditor is a Universal Editor for all your 2D needs
An emacs module to manage a generic database of triples: subject, predicate, object data. This can be used for a variety of applications.
An odoc driver that builds complete styled websites from .mld/.mli
Quantitative analysis library for Elixir and Explorer