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:
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- Function annotations for Hylang!☆11Updated 10 years ago
- Sum Types, aka Tagged Unions, for Python☆44Updated 3 years ago
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 4 years ago
- Loghyc - a miniKanren implementation in Hy☆88Updated 5 years ago
- functional data structures and utilities for python☆36Updated 6 years ago
- A toy Python interpreter with monad comprehensions☆54Updated last year
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Haskell bindings for Python☆102Updated 4 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
- embed haskell diagrams in emacs org-mode files☆10Updated 9 years ago
- Union types and some other functional-y stuff for Hy☆51Updated 9 years ago
- Types for Python☆87Updated 6 years ago
- An attempt at writing C libraries in Rust that can be called from Idris☆22Updated 9 years ago
- A sphinx project for Bartosz Milewski's book "Categories for Programmers"☆15Updated 7 years ago
- Algebraic structures for untyped Racket☆77Updated 11 months ago
- A module for handling continuations in Python☆32Updated 8 years ago
- Monads for Racket (!)☆21Updated 10 years ago
- 2048 in Idris☆122Updated 7 years ago
- Hy Monad Notation - a monad library for Hy☆55Updated last year
- Constraint programming language embedded in Racket☆153Updated 3 years ago
- Haskell language tools for Python☆160Updated 5 years ago
- A company backend for haskell☆23Updated 5 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- ☆58Updated 11 years ago
- ☆79Updated 6 years ago
- Ende is a hypothetical programming language.☆23Updated 4 years ago
- Python bindings for dhall, a functional configuration language☆48Updated 7 months ago
- A Haskell library to pretty print data in a tabular format☆11Updated 7 years ago
- A Python backend for PureScript.☆122Updated 3 years ago