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
• bitc / omegagb
  Emulator for Nintendo Game Boy, written in Haskell, partially working
  ☆24Updated 14 years ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 13 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 2 months ago
• lambdacube3d / lambdacube-quake3
  Quake 3 map viewer in Haskell using LambdaCube 3D
  ☆69Updated 2 years ago
• dharmatech / psilab
  Libraries for Ypsilon Scheme
  ☆27Updated 15 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆19Updated 10 months ago
• davean / waldo
  A small Haskell server for generating visual stories based on some ascertainable data about the requester.
  ☆57Updated 13 years ago
• 2-3 / polkadot
  A lightweight personal wiki in Racket
  ☆19Updated 8 years ago
• niitsuma / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆17Updated 8 years ago
• sternenseemann / spacecookie
  gopher library & server written in Haskell
  ☆46Updated 4 months ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆48Updated 7 years ago
• dmbaturin / hope
  Hope programming language interpreter
  ☆41Updated 3 months ago
• ioannad / jeffrey
  Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…
  ☆29Updated 4 months ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆170Updated 7 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆50Updated 5 years ago
• o1 / n2o
  N2O: Standard ML Application Server
  ☆18Updated 3 years ago
• melvinzhang / lambda-calculus-game
  ☆24Updated 3 years ago
• takikawa / sweet-racket
  A port of sweet expressions to Racket
  ☆49Updated 2 years ago
• jkarni / ZipperFS
  Oleg Kiselyov's zipper-based file-server/OS
  ☆27Updated 5 years ago
• sam46 / FuncMorph
  Crazy figures and animations with Haskell
  ☆34Updated 6 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• mchakravarty / BigPixel
  Pixel art for games
  ☆140Updated 10 years ago
• lexi-lambda / shattered-plans
  ☆39Updated 2 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆33Updated 10 years ago
• ahushh / monaba
  Imageboard engine written in Haskell and powered by Yesod
  ☆88Updated 4 years ago
• metasepi / c2ats
  generate ATS interface from C code
  ☆20Updated 8 years ago
• 5jt / dyalog-cookbook
  Book and code: how to build and distribute applications in Dyalog APL
  ☆33Updated 5 years ago
• deech / ATSPresentation
  ☆21Updated 10 years ago