Back
Repo
Masters
English
EN
Home
/
discus-lang
GitHub repos by discus-lang
2 public repos by discus-lang in the catalog, most starred first.
discus-lang/ddc
★ 176
Stars: 176
Haskell
░
Prototype
discus-lang/iron
★ 145
Stars: 145
Coq
░
Prototype
See discus-lang on GitHub