sellout/Idris-CPDT
A translation of Certified Programming with Dependent Types to Idris.
Public GitHub Catalog
Discovered Sep 30, 2026
sellout / Idris-dev
A Dependently Typed Functional Programming Language
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.
#18734647GitHub 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/mw-diff-sexp
Common Lisp library to calculate a naive Levenshtein-like edit distance for s-expressions
sellout/computational-model-zoo
Mostly a wiki for keeping track of various computational models and their relationships.