Alternatives and similar repositories for negoto:

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

• docelic / awesome-urweb
  Collection of awesome Ur/Web libraries, components, and projects
  ☆13Updated 3 years ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆48Updated last year
• 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
• MichaelBurge / pornview
  Porn browser formally-verified in Coq
  ☆52Updated 7 years ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆38Updated 9 years ago
• ethercrow / yi-config
  ☆15Updated 6 years ago
• vmchale / atspkg
  Build tool for ATS.
  ☆41Updated 2 years ago
• niitsuma / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆17Updated 8 years ago
• lambdacube3d / lambdacube-quake3
  Quake 3 map viewer in Haskell using LambdaCube 3D
  ☆68Updated 2 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• iitalics / Opal
  Simple and powerful programming language with type inference
  ☆24Updated 8 years ago
• metasepi / c2ats
  generate ATS interface from C code
  ☆20Updated 8 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• bitc / omegagb
  Emulator for Nintendo Game Boy, written in Haskell, partially working
  ☆24Updated 13 years ago
• vmchale / libmeme
  A library for inserting clap emoji into strings
  ☆25Updated 5 years ago
• jdevuyst / rekenaar
  Idris tactics for (commutative) monoids
  ☆20Updated 4 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆56Updated last year
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 2 months ago
• gbaz / mess
  Martin-Löf Extensible Specification and Simulator
  ☆29Updated 9 years ago
• ghorn / not-gloss
  easy 3d plotting in haskell
  ☆26Updated 2 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 3 weeks ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆61Updated 6 years ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• haskell-lisp / yale-haskell
  HASKELL: Yale Haskell system written in Lisp
  ☆98Updated 11 years ago
• OlivierSohn / hamazed
  Monorepo for a multi-player game engine, and game examples
  ☆42Updated 3 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• himikof / typed-lojban
  An experimental typing of Lojban grammar, in Haskell
  ☆13Updated 11 years ago
• nmaehlmann / mallRL
  Grocery shopping roguelike developed for the 7drl game jam
  ☆24Updated 4 years ago
• bananu7 / Hate
  A small 2D game framework in Haskell, for Haskell
  ☆26Updated 7 years ago