Fork of Plan 9 meant for education. https://principia-softwarica.org/

An Emacs clone written in OCaml

A fork of ocaml 1.07 without objects and without functors meant for education purposes

CS6868: Concurrent Programming

Jsoo bindings using brr for code-mirror 6

Cassinet

Federated blogging application, thanks to ActivityPub (now on https://git.joinplu.me/ — this is just a mirror)

childframe doc for eglot and anything that uses eldoc

J'ai plus mal à la tête maintenant

According an other RFC2388...

ImpFS, a new filesystem.

a small, simple block-backed key-value store for MirageOS

Slugline is a very small (and portable) slugifier implementation

A modern, tree-sitter-powered Emacs major mode for Haskell.

OCaml cross-compiler to freestanding Unikraft backends

A very simple skeleton for drafting your first Unikernel using Mkernel (LambdaNantes Workshop)

Generate Dune rules for building a client/server application or library

HTTP timestamp Decoder and Encoder

A attempt to translate the examples of "Typed design pattern for Functional Era" in OCaml

The better build tool. Finds dependencies automatically for any language.

High-performance Markdown and MDX processing for the JavaScript ecosystem

A modern Emacs major mode for editing AsciiDoc files, powered by TreeSitter

Work in progress - Codec library for Tezos X

Paper size calculator for origami boxes