evaporei / hispLinks
๐ต A lisp REPL interpreter made in Haskell
โ24Updated 5 years ago
Alternatives and similar repositories for hisp
Users that are interested in hisp are comparing it to the libraries listed below
Sorting:
- VimL lisp evaluatorโ10Updated 4 years ago
- Soluรงรตes dos problems do adventofcode.comโ13Updated 4 years ago
- Chip8 engine emulator written in Rust, with both desktop (multiplatform) and WASM front-ends.โ9Updated 4 years ago
- Telegram Botโ10Updated 3 years ago
- Wrap promises, never use .catch againโ25Updated 2 years ago
- Agda libraries relevant to Moonadโ14Updated 6 years ago
- ๐ฎ | Is a programming language aimed at incorporating everything Iโd like to have in Haskell, except dependent types.โ15Updated 2 years ago
- A declarative toy language inspired on set comprehensions.โ18Updated 6 years ago
- A very small implementation of the Calculus of Constructions for experimentation purposesโ15Updated 7 years ago
- ๐จโ๐ซ Educational purpose virtual machine to assembly Neander and Neander+โ16Updated 6 years ago
- Toy programming languageโ19Updated last year
- A simple example of integrating TypeScript and Haskell.โ13Updated 3 years ago
- The Haskell implementation of the Milho programming language.โ29Updated last year
- โ14Updated last year
- A programming language, aka a THINGโ10Updated 4 years ago
- A Haskell implementation of the Formality languageโ18Updated 5 years ago
- Emoj is a modern, concatenative language for the browser. (april's fool project)โ19Updated 6 years ago
- a small one-file lisp implemented in kind2, intentionally incompleteโ10Updated 2 years ago
- Tornado is a BitTorrent client written entirely in OCaml.โ57Updated last year
- algebraic typechecking and elaboration of type systemsโ12Updated 5 months ago
- OCaml to Golang compilerโ38Updated 4 years ago
- โ36Updated 3 years ago
- โ35Updated 5 years ago
- An ocaml driver for mongodbโ52Updated 3 years ago
- A TOML parser for Idris 2โ17Updated last year
- Some day, a purely functional Lisp. Right now? Just a silly prototype.โ15Updated 4 years ago
- โ25Updated 4 years ago
- โ23Updated 7 years ago
- Write yourself a typed functional languageโ65Updated 6 years ago
- Skeleton app with contrived client/server examplesโ20Updated 2 years ago