Alternatives and similar repositories for negoto

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

• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 2 weeks ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 13 years ago
• lambdacube3d / lambdacube-quake3
  Quake 3 map viewer in Haskell using LambdaCube 3D
  ☆69Updated 2 years ago
• sternenseemann / spacecookie
  gopher library & server written in Haskell
  ☆46Updated 2 months ago
• ahushh / monaba
  Imageboard engine written in Haskell and powered by Yesod
  ☆88Updated 4 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• docelic / awesome-urweb
  Collection of awesome Ur/Web libraries, components, and projects
  ☆13Updated 3 years ago
• drewt / scmus
  ncurses mpd client written in scheme
  ☆29Updated 4 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• niitsuma / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆17Updated 8 years ago
• lambda-fairy / sylvia
  Logic puzzle game based on the lambda calculus
  ☆20Updated 12 years ago
• dharmatech / psilab
  Libraries for Ypsilon Scheme
  ☆27Updated 15 years ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆48Updated last year
• VictorTaelin / absal-ex
  Absal ex
  ☆58Updated last year
• Soonad / Formality-C
  An implementation of the Formality language in C
  ☆13Updated 5 years ago
• dmbaturin / hope
  Hope programming language interpreter
  ☆41Updated 2 months ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆21Updated 10 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 3 years ago
• tca / veneer
  miniKanren in the browser
  ☆55Updated 9 years ago
• ntoronto / pict3d
  3-dimensional picts
  ☆114Updated 2 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆170Updated 7 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 7 months ago
• haskell-lisp / yale-haskell
  HASKELL: Yale Haskell system written in Lisp
  ☆102Updated 11 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• jarcane / heresy
  A BASIC-flavored Lisp dialect
  ☆72Updated 2 years ago
• sam46 / FuncMorph
  Crazy figures and animations with Haskell
  ☆34Updated 6 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆47Updated 7 years ago
• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆25Updated 9 years ago
• MichaelBurge / pornview
  Porn browser formally-verified in Coq
  ☆51Updated 7 years ago