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 8 months ago
- Haskell language tools for Python☆163Updated 5 years ago
- Brent's PhD thesis.☆69Updated 9 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Updated 8 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
- Beautiful, interactive visualizations of logical inference☆151Updated 4 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 9 years ago
- Abstracting Definitional Interpreters☆74Updated 8 years ago
- Convert lambda expressions to CCC combinators☆149Updated 9 years ago
- Obsidian Language Repository☆41Updated 7 years ago
- The LVish Haskell library☆80Updated 3 years ago
- Implementation of Univalence in Cubical Sets☆146Updated 10 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆95Updated last year
- Probabilistic computation in Idris☆33Updated 6 years ago
- ☆59Updated 12 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74Updated 7 years ago
- playground for working with succinct data structures☆97Updated 10 years ago
- Types for Python☆87Updated 7 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- ☆64Updated 6 years ago
- Homotopy Type Theory proofs in Idris☆22Updated 6 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆85Updated 9 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 10 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 5 years ago
- Lean Tutorials☆46Updated 5 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago