dpiponi / Monad-PythonLinks
A toy Python interpreter with monad comprehensions
☆54Updated last year
Alternatives and similar repositories for Monad-Python
Users that are interested in Monad-Python are comparing it to the libraries listed below
Sorting:
- Python backend for Idris (generates Python source, not bytecode).☆125Updated 8 years ago
- A parser for Python 2.x and 3.x written in Haskell☆160Updated 7 months ago
- Haskell language tools for Python☆162Updated 5 years ago
- Lean Tutorials☆46Updated 5 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 4 years ago
- The Art of the Propagator. See also:☆177Updated last year
- Brent's PhD thesis.☆69Updated 9 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆85Updated 9 years ago
- Probabilistic computation in Idris☆33Updated 6 years ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 7 years ago
- Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)☆58Updated 13 years ago
- playground for working with succinct data structures☆97Updated 10 years ago
- Presentation/code from my talk at London HUG☆58Updated 12 years ago
- ☆59Updated 11 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Updated 8 years ago
- Convert lambda expressions to CCC combinators☆149Updated 9 years ago
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- The LVish Haskell library☆80Updated 3 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74Updated 7 years ago
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- The Disco Discus Compiler☆176Updated 6 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 5 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 9 years ago
- Homotopy Type Theory proofs in Idris☆22Updated 6 years ago
- Obsidian Language Repository☆41Updated 7 years ago
- High performance, regular, shape polymorphic parallel arrays.☆143Updated last year
- Types for Python☆87Updated 7 years ago
- Link to preprints for ICFP'16 and co-located events☆139Updated 9 years ago