JadenGeller / Guac
Monadic do-notation in Python (requires pypy3)
☆19Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for Guac
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- Sum Types, aka Tagged Unions, for Python☆42Updated 2 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- Loghyc - a miniKanren implementation in Hy☆89Updated 4 years ago
- A rudimentary Racket implementation using RPython☆258Updated 2 weeks ago
- A parser for Python 2.x and 3.x written in Haskell☆157Updated 5 months ago
- A Haskell implementation of the Shen programming language.☆162Updated 6 years ago
- A sphinx project for Bartosz Milewski's book "Categories for Programmers"☆15Updated 7 years ago
- Haskell language tools for Python☆157Updated 4 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- A toy Python interpreter with monad comprehensions☆54Updated 5 months ago
- Function annotations for Hylang!☆11Updated 10 years ago
- ☆77Updated 5 years ago
- 2D physics and rendering for apecs☆45Updated 6 years ago
- ☆58Updated 10 years ago
- Let GHC prove program equations for you☆145Updated 6 years ago
- Elaborate and expressive S-Expression library for Haskell☆61Updated 4 months ago
- Some operator abuse☆28Updated 7 years ago
- Racket parser combinators inspired by parsack and megaparsec☆77Updated last month
- Probabilistic Programming☆40Updated 11 months ago
- Untyped Concatenative Calculus☆19Updated 2 years ago
- Hy Monad Notation - a monad library for Hy☆54Updated 10 months ago
- Types for Python☆86Updated 6 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 4 years ago
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 3 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆91Updated last month
- A Python backend for PureScript.☆121Updated 2 years ago
- Probabilistic computation in Idris☆34Updated 5 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 4 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago