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:
- SoluΓ§Γ΅es dos problems do adventofcode.comβ13Updated 4 years ago
- VimL lisp evaluatorβ10Updated 3 years ago
- A simple example of integrating TypeScript and Haskell.β13Updated 3 years ago
- Telegram Botβ10Updated 3 years ago
- Agda libraries relevant to Moonadβ14Updated 6 years ago
- A very small implementation of the Calculus of Constructions for experimentation purposesβ15Updated 6 years ago
- Chip8 engine emulator written in Rust, with both desktop (multiplatform) and WASM front-ends.β9Updated 4 years ago
- Emoj is a modern, concatenative language for the browser. (april's fool project)β19Updated 6 years ago
- Toy todo-list serviceβ15Updated 5 years ago
- Wrap promises, never use .catch againβ25Updated 2 years ago
- Small lisp interpreter in Pythonβ10Updated 3 years ago
- a small one-file lisp implemented in kind2, intentionally incompleteβ10Updated 2 years ago
- A declarative toy language inspired on set comprehensions.β18Updated 6 years ago
- π¨βπ« Educational purpose virtual machine to assembly Neander and Neander+β16Updated 6 years ago
- Calculus of Constructionsβ17Updated 5 years ago
- Parser for es6 and es7.β10Updated 6 months ago
- A Haskell IDE for Visual Studio Code.β26Updated 2 months ago
- The Lambda I/O Foundation Manifest.β57Updated 8 years ago
- A Haskell implementation of the Formality languageβ18Updated 5 years ago
- Tornado is a BitTorrent client written entirely in OCaml.β57Updated last year
- A TOML parser for Idris 2β17Updated 11 months ago
- β35Updated 5 years ago
- Automatic piecewise-mutable references for your typesβ42Updated 4 years ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.β25Updated 5 months ago
- β23Updated 7 years ago
- Toy programming languageβ19Updated last year
- A brainfuck interpreter in Haskell. Rewrite of tsfuckβ11Updated 3 years ago
- Some day, a purely functional Lisp. Right now? Just a silly prototype.β15Updated 4 years ago
- A tiny statically typed programming languageβ18Updated 10 years ago
- dependently-typed lisp with flexible compiler backendsβ27Updated 6 years ago