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
- An idris backend compiling to chez scheme☆47Updated 7 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
- Types for Python☆86Updated 6 years ago
- Sum Types, aka Tagged Unions, for Python☆42Updated 2 years ago
- Haskell bindings for Python☆101Updated 3 years ago
- ☆77Updated 5 years ago
- ☆34Updated this week
- A property-based testing library for Racket.☆29Updated 6 months ago
- ☆58Updated 10 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- Racket parser combinators inspired by parsack and megaparsec☆76Updated 3 weeks ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 4 years ago
- Julia embedded in Haskell☆53Updated 5 years ago
- Homotopy Type Theory proofs in Idris☆21Updated 5 years ago
- Untyped Concatenative Calculus☆19Updated 2 years ago
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- microkanren in sml☆26Updated 9 years ago
- Higher Order Prolog with Extensional Semantics☆50Updated 4 years ago
- Brent's PhD thesis.☆63Updated 8 years ago
- Probabilistic computation in Idris☆34Updated 5 years ago
- (Somewhat) Algebraic Data Types for Racket☆35Updated last year
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- Abstracting Definitional Interpreters☆67Updated 6 years ago
- hyphen - access Haskell modules from Python☆89Updated 4 months ago
- 2048 in Idris☆121Updated 6 years ago
- Indentation-based Racket Syntax☆37Updated 3 years ago
- ☆18Updated last week
- Literal support for Pyrsistent data structures in Python☆127Updated 3 years ago