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
- A rudimentary Racket implementation using RPython☆266Updated last month
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- Sum Types, aka Tagged Unions, for Python☆44Updated 3 years ago
- A parser for Python 2.x and 3.x written in Haskell☆159Updated 2 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
- Loghyc - a miniKanren implementation in Hy☆89Updated 5 years ago
- A Python implementation for Racket☆150Updated 7 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- ☆58Updated 11 years ago
- A sphinx project for Bartosz Milewski's book "Categories for Programmers"☆15Updated 7 years ago
- Monads for Racket (!)☆21Updated 10 years ago
- Canonical miniKanren implementation in Racket☆86Updated 3 years ago
- A toy Python interpreter with monad comprehensions☆54Updated last year
- A Haskell implementation of the Shen programming language.☆170Updated 7 years ago
- Types for Python☆87Updated 6 years ago
- Python bindings for dhall, a functional configuration language☆48Updated 8 months ago
- Racket parser combinators inspired by parsack and megaparsec☆81Updated 10 months ago
- Algebraic structures for untyped Racket☆77Updated last year
- Haskell bindings for Python☆103Updated 4 years ago
- Support for calling Python from Haskell☆18Updated 13 years ago
- A module for handling continuations in Python☆32Updated 8 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 5 years ago
- Haskell User's Gofer System☆25Updated 9 years ago
- A basic Parsec-like monadic parser combinator library implementation in Racket.☆49Updated 2 years ago
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 4 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆213Updated 2 years ago
- Jupyter Notebook / J Integration☆45Updated last year
- Haskell language tools for Python☆162Updated 5 years ago
- Hy Monad Notation - a monad library for Hy☆56Updated last year