sellout/Idris-CPDT
A translation of Certified Programming with Dependent Types to Idris.
Public GitHub Catalog
Discovered Sep 26, 2026
sellout / Opt-Check
Keep track of optimizations and easily benchmark them.
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.
#5665955GitHub System ID
selloutOrganization / User
PublicVisibility
ActiveCatalog Status
More from sellout
sellout/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.
sellout/Idris-dev
A Dependently Typed Functional Programming Language
sellout/mw-diff-sexp
Common Lisp library to calculate a naive Levenshtein-like edit distance for s-expressions