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
  ☆33Updated last month
• drewt / scmus
  ncurses mpd client written in scheme
  ☆29Updated 4 years ago
• MichaelBurge / pornview
  Porn browser formally-verified in Coq
  ☆51Updated 7 years ago
• lexi-lambda / shattered-plans
  ☆35Updated last year
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• catseye / Mascarpone
  MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.
  ☆21Updated last year
• ahushh / monaba
  Imageboard engine written in Haskell and powered by Yesod
  ☆87Updated 4 years ago
• kfarwell / werchan
  Simple extendable message board
  ☆16Updated 8 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆57Updated last year
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• docelic / awesome-urweb
  Collection of awesome Ur/Web libraries, components, and projects
  ☆13Updated 3 years ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 12 years ago
• lambda-fairy / sylvia
  Logic puzzle game based on the lambda calculus
  ☆20Updated 12 years ago
• ahungry / glyphs
  Glyphs - Reducing Common Lisp verbosity
  ☆29Updated 6 years ago
• ethercrow / yi-config
  ☆15Updated 6 years ago
• takikawa / sweet-racket
  A port of sweet expressions to Racket
  ☆47Updated 2 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 2 months ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆46Updated 7 years ago
• iitalics / Opal
  Simple and powerful programming language with type inference
  ☆24Updated 8 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 3 years ago
• metasepi / c2ats
  generate ATS interface from C code
  ☆20Updated 8 years ago
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 4 years ago
• cocreature / reactand
  Tiling window manager for wayland
  ☆16Updated 8 years ago
• ptol / oczor
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆117Updated 7 years ago
• willghatch / rackterm
  Terminal emulator in racket
  ☆41Updated last year
• vmchale / atspkg
  Build tool for ATS.
  ☆41Updated 2 years ago
• Fuuzetsu / acme-cutegirl
  A package which exists solely to try and give the user a cute girl. Executable and library are both available.
  ☆10Updated 6 years ago
• lambdacube3d / lambdacube-quake3
  Quake 3 map viewer in Haskell using LambdaCube 3D
  ☆68Updated 2 years ago