protz/moustache
A type-checker for a degenerated version of ML that doesn't even know about polymorphism.
Public GitHub Catalog
Discovered Sep 24, 2026
protz / Caml-Vim-Mode
A script for vim that allows you to run a toplevel in the background and send phrases to it, just like in an Emacs session
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#757357GitHub System ID
protzOrganization / User
PublicVisibility
ActiveCatalog Status
More from protz
protz/rethread
Add a context menu item to force messages to be threaded together
protz/chaml
An implementation of a constraint-based type-checker for ML based on “The essence of ML type inference”. This one additionally generates an annotated AST along with extra coercions to generalize variables inside patterns. See my master's thesis report for details.
protz/rpi-lcd-system
An entertainment system for the Raspberry Pi + Adafruit LCD: radios, notifications, etc.