Alternatives and similar repositories for negoto

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

• drewt / scmus
  ncurses mpd client written in scheme
  ☆29Updated 5 years ago
• lambdacube3d / lambdacube-quake3
  Quake 3 map viewer in Haskell using LambdaCube 3D
  ☆69Updated 2 years ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 13 years ago
• sam46 / FuncMorph
  Crazy figures and animations with Haskell
  ☆34Updated 7 years ago
• metasepi / c2ats
  generate ATS interface from C code
  ☆20Updated 8 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 7 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• davean / waldo
  A small Haskell server for generating visual stories based on some ascertainable data about the requester.
  ☆57Updated 13 years ago
• bitc / omegagb
  Emulator for Nintendo Game Boy, written in Haskell, partially working
  ☆23Updated 14 years ago
• ahushh / monaba
  Imageboard engine written in Haskell and powered by Yesod
  ☆88Updated 4 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆24Updated 10 months ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 10 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 3 months ago
• dharmatech / psilab
  Libraries for Ypsilon Scheme
  ☆27Updated 15 years ago
• someodd / burrow
  Static gopherhole generator.
  ☆13Updated 5 months ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆48Updated 8 years ago
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 5 years ago
• docelic / awesome-urweb
  Collection of awesome Ur/Web libraries, components, and projects
  ☆13Updated 3 years ago
• MichaelBurge / pornview
  Porn browser formally-verified in Coq
  ☆51Updated 8 years ago
• Soonad / Formality-C
  An implementation of the Formality language in C
  ☆13Updated 6 years ago
• rudymatela / tankode
  A programming action game.
  ☆14Updated last year
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated last year
• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆27Updated 9 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year
• jeapostrophe / mode-lambda
  mode-lambda - sprite-based 2D graphics engine
  ☆41Updated 4 years ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆27Updated last year
• jkarni / ZipperFS
  Oleg Kiselyov's zipper-based file-server/OS
  ☆26Updated 5 years ago
• dmbaturin / hope
  Hope programming language interpreter
  ☆42Updated 4 months ago
• jeapostrophe / pict3d
  3-dimensional picts
  ☆40Updated 9 months ago
• ivanperez-keera / SpaceInvaders
  A Haskell game written in Yampa
  ☆28Updated last year