bennn/vagrant-opam
Simple VM for programming in Coq
Public GitHub Catalog
Discovered Oct 5, 2026
bennn / idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.
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.
#28695304GitHub System ID
bennnOrganization / User
PublicVisibility
ActiveCatalog Status
More from bennn
bennn/reticulated
Types for Python
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.