An interactive chess template for anki.

A bibliography on Gradual Typing

Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions with the programming environmnent.

Library implementing type inference/checking functionality based on the Lean theorem prover

Continuous saving of tmux environment. Automatic restore when tmux is started. Automatic tmux start when computer is turned on.

Run your GitHub Actions locally 🚀

📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis

⚡ Dynamically generated stats for your github readmes

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

Declarative definition of command line interfaces for OCaml

🌈 React for interactive command-line apps

Hazel, a live functional programming environment with typed holes

Total type error localization and recovery with holes.

A functional programming language with shell scripting capabilities

A library with an encoding of higher kinded types in OCaml

a tiny tile-based editor

OCaml Language Server Protocol implementation

Store your data from all your accounts and devices in a single cohesive timeline on your own computer

All your digital life on a single timeline, stored locally -- DEPRECATED, SEE TIMELINIZE (link below)

Persistence of concurrent activities for Gerbil Scheme

Bimodal text editing and direct manipulation-driven synthesis on tangible values for (some subset of) OCaml.

The Ott tool for writing definitions of programming languages and calculi

A collaborative bibliography of papers related to property-based testing

Defines a common protocol for language servers.

egg is a flexible, high-performance e-graph library

Documentation about Haskell's dangerous functions and a hlint config file to warn about them

Track data flowing through Java programs

JSON diff and patch