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 last month
- Python backend for Idris (generates Python source, not bytecode).☆125Updated 7 years ago
- A Python implementation for Racket☆150Updated 7 years ago
- Sum Types, aka Tagged Unions, for Python☆44Updated 3 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- Loghyc - a miniKanren implementation in Hy☆89Updated 5 years ago
- A toy Python interpreter with monad comprehensions☆54Updated last year
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- ☆79Updated 6 years ago
- Algebraic structures for untyped Racket☆77Updated last year
- A parser for Python 2.x and 3.x written in Haskell☆159Updated 4 months ago
- Hy Monad Notation - a monad library for Hy☆56Updated last year
- Haskell language tools for Python☆162Updated 5 years ago
- A module for handling continuations in Python☆32Updated 8 years ago
- A sphinx project for Bartosz Milewski's book "Categories for Programmers"☆14Updated 7 years ago
- Jupyter Notebook / J Integration☆46Updated last year
- Literal support for Pyrsistent data structures in Python☆130Updated 4 years ago
- The first (and only) Hy unit testing framework☆30Updated 8 years ago
- nanopass compiler framework for Racket☆190Updated last year
- Union types and some other functional-y stuff for Hy☆51Updated 9 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
- A Haskell implementation of the Shen programming language.☆170Updated 7 years ago
- Racket parser combinators inspired by parsack and megaparsec☆81Updated 11 months ago
- Monads for Racket (!)☆21Updated 10 years ago
- (in progress) Racket port of the SICM scmutils library☆35Updated 5 years ago
- Canonical miniKanren implementation in Racket☆86Updated 4 years ago
- The Hy Transformer☆83Updated 6 years ago
- ☆72Updated 4 years ago
- Calysto Hy, a Jupyter kernel for Hy using MetaKernel☆109Updated 2 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆213Updated 2 years ago