steinuil / negotoLinks
Imageboard written in Ur/Web
☆19Updated 4 years ago
Alternatives and similar repositories for negoto
Users that are interested in negoto are comparing it to the libraries listed below
Sorting:
- Quake 3 map viewer in Haskell using LambdaCube 3D☆69Updated 2 years ago
- ncurses mpd client written in scheme☆29Updated 5 years ago
- A Haskell game written in Yampa☆28Updated last year
- The LC3 virtual machine☆24Updated 11 months ago
- An EDSL implemented in Haskell for programming the Nintendo Game Boy.☆49Updated 2 years ago
- ☆39Updated 2 years ago
- Take an info.rkt file, produce a info.nix file.☆45Updated 4 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- Emulator for Nintendo Game Boy, written in Haskell, partially working☆23Updated 14 years ago
- A relational interpretation of Lojban☆34Updated 4 months ago
- Porn browser formally-verified in Coq☆51Updated 8 years ago
- gopher library & server written in Haskell☆46Updated 5 months ago
- Imageboard engine written in Haskell and powered by Yesod☆88Updated 4 years ago
- Jhc: Haskell Compiler☆39Updated 10 years ago
- Oleg Kiselyov's zipper-based file-server/OS☆27Updated 5 years ago
- Static gopherhole generator.☆13Updated 6 months ago
- Racket-based implementation of Adapton☆22Updated 6 years ago
- An implementation of the Formality language in C☆13Updated 6 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆13Updated 2 years ago
- A Scheme to Unlambda compiler☆18Updated 8 years ago
- NES programming in Haskell? No way!☆39Updated 9 years ago
- Inline Assembly code in ur Haskell!☆46Updated 7 months ago
- Simple and powerful programming language with type inference☆24Updated 8 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 13 years ago
- Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong☆144Updated 5 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆282Updated 11 years ago
- A SKI combinators interpreter written in assembly☆19Updated 5 years ago
- Example Racket games and demos using the 'How to Design Programs' framework with sprites, worlds, animation and game logic.☆31Updated 5 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago