Alternatives and similar repositories for Guac:

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

• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 7 years ago
• radix / sumtypes
  Sum Types, aka Tagged Unions, for Python
  ☆43Updated 3 years ago
• Foxboron / Hype
  Function annotations for Hylang!
  ☆11Updated 10 years ago
• softmechanics / missingpy
  Support for calling Python from Haskell
  ☆18Updated 13 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆46Updated 7 years ago
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆61Updated 9 months 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
• tonyg / racket-monad
  Monads for Racket (!)
  ☆21Updated 9 years ago
• dpiponi / Operators
  Some operator abuse
  ☆28Updated 7 years ago
• brandonwillard / loghyc
  Loghyc - a miniKanren implementation in Hy
  ☆88Updated 5 years ago
• jaredloomis / Idris-HoTT
  Homotopy Type Theory proofs in Idris
  ☆22Updated 5 years ago
• abingham / categories-for-programmers
  A sphinx project for Bartosz Milewski's book "Categories for Programmers"
  ☆15Updated 7 years ago
• jneen / parsy
  301 moved permanently https://github.com/python-parsy/parsy
  ☆42Updated 7 years ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 5 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆37Updated 9 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• rain-1 / continuations-study-group
  ☆79Updated 5 years ago
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆33Updated 5 years ago
• jonascarpay / apecs-physics
  2D physics and rendering for apecs
  ☆45Updated 6 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 9 years ago
• pyx / hymn
  Hy Monad Notation - a monad library for Hy
  ☆55Updated last year
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• lubieowoce / sumtype
  A namedtuple-style library for defining immutable sum types in Python.
  ☆27Updated 4 years ago
• KesterTong / idris2048
  2048 in Idris
  ☆122Updated 7 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆42Updated 5 years ago
• qfpl / hpython
  Haskell language tools for Python
  ☆160Updated 5 years ago
• tbarnetlamb / hyphen
  hyphen - access Haskell modules from Python
  ☆97Updated 10 months ago