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 rudimentary Racket implementation using RPython☆267Updated 2 months ago
- Python backend for Idris (generates Python source, not bytecode).☆125Updated 8 years ago
- A Python implementation for Racket☆150Updated 7 years ago
- ☆79Updated 6 years ago
- Sum Types, aka Tagged Unions, for Python☆44Updated 3 years ago
- Canonical miniKanren implementation in Racket☆86Updated 4 years ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- A parser for Python 2.x and 3.x written in Haskell☆159Updated 4 months ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 5 years ago
- A toy Python interpreter with monad comprehensions☆54Updated last year
- A Haskell implementation of the Shen programming language.☆170Updated 7 years ago
- Haskell bindings for Python☆104Updated 4 years ago
- Monads for Racket (!)☆21Updated 10 years ago
- Hy Monad Notation - a monad library for Hy☆56Updated last year
- A sphinx project for Bartosz Milewski's book "Categories for Programmers"☆14Updated 7 years ago
- Algebraic structures for untyped Racket☆78Updated last year
- Racket parser combinators inspired by parsack and megaparsec☆82Updated last year
- nanopass compiler framework for Racket☆192Updated last year
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 4 years ago
- ☆137Updated 3 years ago
- Types for Python☆87Updated 7 years ago
- Python bindings for dhall, a functional configuration language☆48Updated 11 months ago
- Running the code you want to write as fast as the code you have to write☆140Updated 9 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆213Updated 2 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- a racket lang-extension for debugging, and a macro for inserting a debug-repl☆36Updated this week
- Apple array system☆68Updated last week
- A language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call the…☆59Updated 12 years ago