bennn/reticulated
Types for Python
Public GitHub Catalog
Discovered Oct 5, 2026
bennn / vagrant-opam
Simple VM for programming in Coq
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.
#29223355GitHub System ID
bennnOrganization / User
PublicVisibility
ActiveCatalog Status
More from bennn
bennn/pycket
A rudimentary Racket implementation using RPython
bennn/idris-koans
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
bennn/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.