Alternatives and similar repositories for Monad-Python

Users that are interested in Monad-Python are comparing it to the libraries listed below

• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆125Updated 8 years ago
• bjpop / language-python
  A parser for Python 2.x and 3.x written in Haskell
  ☆160Updated 6 months ago
• qfpl / hpython
  Haskell language tools for Python
  ☆162Updated 5 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆149Updated 9 years ago
• leanprover / tutorial
  Lean Tutorials
  ☆46Updated 5 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 10 years ago
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆82Updated 8 years ago
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆177Updated last year
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 9 years ago
• jaredloomis / Idris-HoTT
  Homotopy Type Theory proofs in Idris
  ☆22Updated 6 years ago
• axch / dysvunctional-language
  Running the code you want to write as fast as the code you have to write
  ☆140Updated 9 years ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆84Updated 9 years ago
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 7 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆34Updated 6 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆147Updated 10 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆86Updated 7 years ago
• pigworker / shonky
  being some experiments, working towards some equipment I wish I had
  ☆37Updated 9 years ago
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆209Updated 6 years ago
• nh2 / haskell-from-python
  Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)
  ☆58Updated 12 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 6 years ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆116Updated 4 years ago
• nick8325 / quickspec
  Equational laws for free
  ☆264Updated 7 months ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 8 years ago
• bobatkey / CS316-17
  The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course
  ☆21Updated 8 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 10 years ago
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆58Updated 12 years ago