#
Starred repositories
A menagerie of cute implementations of modern typechecking algorithms
OCaml implementation of the Model Context Protocol (MCP)
🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.
vim match-up: even better % 👊 navigate and highlight matching words 👊 modern matchit and matchparen. Supports both vim and neovim + tree-sitter.
Adds all vim moves and modes to macOS text fields
A tool for managing code review comments embedded in source code
Prettier quickfix/location list windows for NeoVim
Recursive Mono & Sans is a variable font family for code & UI
Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules
SRCL is an open-source React component and style repository that helps you build web applications, desktop applications, and static websites with terminal aesthetics.
ipsets dynamically updated with firehol's update-ipsets.sh script
A set of components that fit, a priori, relatively well with the web framework (OCaml) Dream to try to build, at best, and quickly, dynamic web applications.
Rich text editor on the web, featuring live calculations.
This library provides an implementation of the DBSP language for incremental streaming computations.
smenu started as a lightweight and flexible terminal menu generator, but quickly evolved into a powerful and versatile CLI selection tool for interactive or scripting use.
A Drawer plugin for Neovim. AKA "persistent split" / "persistent window".
A Framework for building Batched Concurrent Services
Simple reimplementation of the diamond types sequence CRDT in simple, pure, unoptimized typescript.
The standard CSS implementation of the Spectrum design language.