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).☆124Updated 7 years ago
- Haskell language tools for Python☆160Updated 5 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- Obsidian Language Repository☆41Updated 7 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Updated 7 years ago
- Link to preprints for ICFP'16 and co-located events☆139Updated 8 years ago
- A parser for Python 2.x and 3.x written in Haskell☆158Updated 11 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆82Updated 8 years ago
- Reference type checker for the Lean theorem prover☆16Updated 7 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 8 years ago
- Some operator abuse☆29Updated 7 years ago
- Graph database in Haskell☆24Updated 8 years ago
- Abstracting Definitional Interpreters☆68Updated 7 years ago
- Probabilistic computation in Idris☆34Updated 5 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 6 years ago
- A Monte Carlo monad and transformer for Haskell.☆40Updated 6 years ago
- What I wish I knew when learning HoTT☆53Updated 6 years ago
- Beautiful, interactive visualizations of logical inference☆148Updated 4 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated 3 months ago
- Convert lambda expressions to CCC combinators☆146Updated 9 years ago
- Accepted papers for ICFP 2015☆45Updated 9 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 9 years ago
- Symbolic financial contract EDSL☆39Updated 4 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago