Alternatives and similar repositories for hugs:

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

• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆46Updated 7 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆59Updated 4 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 5 months ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 3 months ago
• jasonhemann / constraint-microKanren
  A microKanren framework for implementing constraints.
  ☆18Updated 6 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆36Updated 9 years ago
• carl-eastlund / dracula
  ☆10Updated 9 years ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆42Updated 3 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• stchang / mlish
  ☆21Updated 4 years ago
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆43Updated 3 years ago
• idris-lang / idris-emptycg
  An empty code generator, to be used as a starting point for any new back ends.
  ☆51Updated 7 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• racket / slideshow
  ☆34Updated 3 weeks ago
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆31Updated 12 years ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 10 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago
• edwinb / idris2-clibs
  Idris 2 bindings to various C libraries
  ☆15Updated 3 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 6 months ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆76Updated last year
• serokell / foundry
  Morte IDE
  ☆29Updated last year
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆31Updated 9 months ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 9 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 4 years ago