QuickCheck inspired property-based testing for OCaml.

programming language interpreter based on Reverse Polish Notation just for fun ;)

Vim-fork focused on extensibility and usability

A massively parallel, high-level programming language

Training a (tiny) language model in OCaml, from scratch

Keyboard-based spreadsheet tool with a lisp

Verified Rust for low-level systems code

SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/

My dotfiles (nvim, starship, fish, i3) configs

An ASCII snake that moves. In telnet. Written in crablang.

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

Calc: A fully-featured minimalistic configurable calculator written in Rust

Projects to learn Rust.

An innovative superfamily of fonts for code

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

A modern replacement for ‘ls’.

Language Server Protocol implementation written in Rust

A new markup-based typesetting system that is powerful and easy to learn.

A toy solver

French cursive font for primary school teachers.

Declarative terminal graphics for OCaml

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

Our Gemini server as a MirageOS unikernel

Fab-Manager is the FabLab management solution. It provides a comprehensive, web-based, open-source tool to simplify your administrative tasks and your marker's projects.

A tiny probabilist functional language

A cross-platform library for building Gemini servers

for studying jvm

A verified Implementation of a mini prolog