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:
- A relational interpretation of Lojban☆33Updated 4 months ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 13 years ago
- ncurses mpd client written in scheme☆29Updated 4 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago
- Static gopherhole generator.☆13Updated last month
- Porn browser formally-verified in Coq☆51Updated 7 years ago
- koneko - a concatenative not-quite-lisp for kittens☆24Updated 9 months ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Terminal emulator in racket☆42Updated last year
- A lightweight personal wiki in Racket☆19Updated 8 years ago
- Emulator for Nintendo Game Boy, written in Haskell, partially working☆24Updated 13 years ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- The LC3 virtual machine☆23Updated 5 months ago
- Build tool for ATS.☆41Updated 3 years ago
- Imageboard engine written in Haskell and powered by Yesod☆88Updated 4 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- ☆37Updated 2 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- Xlambda: The Ultimate X Window Manager☆117Updated 2 years ago
- gopher library & server written in Haskell☆46Updated last week
- A Haskell game written in Yampa☆27Updated last year
- ☆10Updated 9 years ago
- Grocery shopping roguelike developed for the 7drl game jam☆24Updated 5 years ago
- generate ATS interface from C code☆20Updated 8 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago
- Collection of awesome Ur/Web libraries, components, and projects☆13Updated 3 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- An EDSL implemented in Haskell for programming the Nintendo Game Boy.☆48Updated last year