Stars
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.
📚 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
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