Functions and proofs about game trees in Rocq, implemented as rose trees.

String diagrams in LaTeX.

A cyclic theorem prover framework.

The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher kinded types (no partial a…

Offline reading for elfeed posts using a Service Worker

An SMT solver frontend for OCaml

The Flix Programming Language

A radical OCaml build system

Lightweight library to experiment with quantum states, gates and simulating quantum algorithms.

Free and Open Source Requirements Management TooL

A composable build system for OCaml.

A fully customizable Svelte server-side rendered application.

Remake of Railroad Tycoon in OCaml

Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.

OCaml notebooks as a WebComponent

Release dynamically linked Linux executables with 'Windows-like software portability'.

A minimal infrastructure DSL with native parsing, typed fields, and ed25519-signed JSON output

a structural diff that understands syntax 🟥🟩

Binary-Tree for Coq

Tools for migrating away from Lwt

[UNSUPPORTED] nano IO event loop

A Simple Persistent Graph Implementation in Ocaml

⚛ React-tRace is a React Hooks interpreter and a visualizer based on a formal semantics

Proof assistant based on the λΠ-calculus modulo rewriting

A TUI for the Jujutsu version control system

An overlay on Eglot for editing OCaml code using LSP

Quickly create and run optimised Windows, macOS and Linux virtual machines

Cryptomator for Windows, macOS, and Linux: Secure client-side encryption for your cloud storage, ensuring privacy and control over your data.