Highlights
- Pro
Block or Report
Block or report nbun
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
tree-monad
tree-monad PublicForked from sebfisch/tree-monad
Haskell library for monadic tree search.
-
Octolapse
Octolapse PublicForked from FormerLurker/Octolapse
Stabilized timelapses for Octoprint
Python
-
bathesis
bathesis PublicBachelor's thesis about about formalizing inference systems in Coq by means of type systems for Curry
TeX
-
mathesis
mathesis PublicMaster's thesis about modeling call-time choice as effect using scoped free monads
TeX
-
pps-coq
pps-coq PublicEvaluation of integrating Coq into a lecture about principles of programming languages
Coq
-
curry-verify-coq
curry-verify-coq PublicPrototype of integrating Coq into the curry-verify package
Agda
If the problem persists, check the GitHub status page or contact support.