Popular repositories Loading
-
-
Idris-dev
Idris-dev PublicForked from idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
Haskell
-
Probabilistic-Programming-and-Bayesian-Methods-for-Hackers
Probabilistic-Programming-and-Bayesian-Methods-for-Hackers PublicForked from CamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers
aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
Jupyter Notebook
-
TaelinArena
TaelinArena PublicForked from moonad/TaelinArena
A moddable MOBA in Formality
JavaScript
-
Moonad-old
Moonad-old PublicForked from Soonad/Moonad
An upcoming operating system built on Type-Theory
-
Formality-Core
Formality-Core PublicForked from Soonad/Formality-Core
Specification of the Formality proof and programming language
JavaScript
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.