Back
Repo
Masters
English
EN
Home
/
christian-public
GitHub repos by christian-public
1 public repo by christian-public in the catalog, most starred first.
christian-public/Idris2-Erlang
★ 149
Stars: 149
Idris
░
Prototype
See christian-public on GitHub