JadenGeller / GuacLinks
Monadic do-notation in Python (requires pypy3)
☆19Updated 7 years ago
Alternatives and similar repositories for Guac
Users that are interested in Guac are comparing it to the libraries listed below
Sorting:
- A toy Python interpreter with monad comprehensions☆54Updated last year
- Haskell language tools for Python☆160Updated 5 years ago
- functional data structures and utilities for python☆36Updated 6 years ago
- Sum Types, aka Tagged Unions, for Python☆43Updated 3 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 5 years ago
- Loghyc - a miniKanren implementation in Hy☆88Updated 5 years ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- Some operator abuse☆29Updated 7 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Union types and some other functional-y stuff for Hy☆51Updated 9 years ago
- A sphinx project for Bartosz Milewski's book "Categories for Programmers"☆15Updated 7 years ago
- Function annotations for Hylang!☆11Updated 10 years ago
- Hy Monad Notation - a monad library for Hy☆55Updated last year
- Types for Python☆87Updated 6 years ago
- Monads for Racket (!)☆21Updated 10 years ago
- A parser for Python 2.x and 3.x written in Haskell☆158Updated 11 months ago
- A Python backend for PureScript.☆122Updated 3 years ago
- Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)☆58Updated 12 years ago
- The Hy Transformer☆83Updated 6 years ago
- A module for handling continuations in Python☆32Updated 8 years ago
- Obsidian Language Repository☆41Updated 7 years ago
- Homotopy Type Theory proofs in Idris☆22Updated 6 years ago
- An attempt at writing C libraries in Rust that can be called from Idris☆22Updated 9 years ago
- Haskell bindings for Python☆102Updated 4 years ago
- embed haskell diagrams in emacs org-mode files☆10Updated 9 years ago
- The first (and only) Hy unit testing framework☆29Updated 8 years ago
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 4 years ago
- 2048 in Idris☆122Updated 7 years ago
- Jhc: Haskell Compiler☆38Updated 9 years ago
- ☆58Updated 11 years ago