protz/rpi-lcd-system
An entertainment system for the Raspberry Pi + Adafruit LCD: radios, notifications, etc.
Public GitHub Catalog
Discovered Sep 29, 2026
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.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#16506585GitHub System ID
protzOrganization / User
PublicVisibility
ActiveCatalog Status
More from protz
protz/mezzo-sample-project
A sample projet with all the right voodoo to build Mezzo files.
protz/ocaml-adafruit-lcd
An OCaml controller for the Adafruit Rapsberry Pi LCD
protz/mezzo
The language of the future!