dpiponi / Monad-Python
A toy Python interpreter with monad comprehensions
☆54Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for Monad-Python
- Haskell language tools for Python☆157Updated 4 years ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- Brent's PhD thesis.☆63Updated 8 years ago
- An embedded DSL for creating, composing, and using probability measures.☆37Updated 5 years ago
- Homotopy Type Theory proofs in Idris☆21Updated 5 years ago
- A parser for Python 2.x and 3.x written in Haskell☆157Updated 5 months ago
- i bet you there is a typesystem behind music☆30Updated 6 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Updated 6 years ago
- A Haskell program and library to derive instances for data types☆25Updated 4 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 8 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆68Updated 9 years ago
- ☆50Updated 9 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆102Updated last week
- Graph database in Haskell☆24Updated 8 years ago
- Probabilistic computation in Idris☆34Updated 5 years ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- playground for working with succinct data structures☆94Updated 9 years ago
- A hip inductive theorem prover!☆88Updated 2 years ago
- A Monte Carlo monad and transformer for Haskell.☆40Updated 5 years ago
- Jupyter notebooks☆58Updated this week
- ☆124Updated 11 months ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 4 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆78Updated 8 years ago
- haskell bindings for blas and lapack☆49Updated 6 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆56Updated 4 years ago
- TODO☆23Updated 9 years ago