Alternatives and similar repositories for Guac:

Users that are interested in Guac are comparing it to the libraries listed below

• radix / sumtypes
  Sum Types, aka Tagged Unions, for Python
  ☆43Updated 3 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆46Updated 7 years ago
• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 7 years ago
• thautwarm / Quick-Backend
  Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
  ☆24Updated 4 years ago
• bjpop / language-python
  A parser for Python 2.x and 3.x written in Haskell
  ☆158Updated 9 months ago
• dpiponi / Operators
  Some operator abuse
  ☆28Updated 7 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆36Updated 9 years ago
• qfpl / hpython
  Haskell language tools for Python
  ☆158Updated 5 years ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆80Updated 5 months ago
• brownplt / lambda-py
  ☆58Updated 11 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆42Updated 5 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆53Updated 3 months ago
• brandonwillard / loghyc
  Loghyc - a miniKanren implementation in Hy
  ☆88Updated 4 years ago
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆21Updated 4 months ago
• ddfisher / HaPy
  Haskell bindings for Python
  ☆102Updated 3 years ago
• tonyg / racket-monad
  Monads for Racket (!)
  ☆21Updated 9 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆40Updated 6 years ago
• stchang / parsack
  A basic Parsec-like monadic parser combinator library implementation in Racket.
  ☆50Updated 2 years ago
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆86Updated 4 months ago
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated last year
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• jasonhemann / constraint-microKanren
  A microKanren framework for implementing constraints.
  ☆18Updated 6 years ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆67Updated 7 years ago
• soegaard / remacs
  Emacs style editor written in Racket
  ☆63Updated 5 years ago
• dpiponi / Monad-Python
  A toy Python interpreter with monad comprehensions
  ☆54Updated 9 months ago
• lubieowoce / sumtype
  A namedtuple-style library for defining immutable sum types in Python.
  ☆27Updated 3 years ago
• vmchale / apple
  Apple array system
  ☆66Updated last week
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆33Updated 5 years ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 5 years ago