evaporei / hisp
🌵 A lisp REPL interpreter made in Haskell
☆24Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for hisp
- Soluções dos problems do adventofcode.com☆13Updated 3 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 5 years ago
- Chip8 engine emulator written in Rust, with both desktop (multiplatform) and WASM front-ends.☆10Updated 3 years ago
- The Haskell implementation of the Milho programming language.☆29Updated last year
- A declarative toy language inspired on set comprehensions.☆18Updated 5 years ago
- ☆14Updated last year
- ☆13Updated 4 years ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Updated 3 years ago
- Find torrents using Google or DuckDuckGo without leaving emacs☆10Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- ☆23Updated 6 years ago
- Emoj is a modern, concatenative language for the browser. (april's fool project)☆19Updated 5 years ago
- Toy todo-list service☆15Updated 5 years ago
- OCaml to Golang compiler☆37Updated 3 years ago
- A Haskell implementation of the Formality language☆18Updated 4 years ago
- ☆34Updated 5 years ago
- ☆11Updated last year
- Some day, a purely functional Lisp. Right now? Just a silly prototype.☆15Updated 3 years ago
- Advent of Code 2021, but I can only use TypeScript's type system to solve the puzzles☆12Updated 2 years ago
- Calculus of Constructions☆17Updated 5 years ago
- A Hindley-Milner type inference implementation in Prolog☆13Updated 9 years ago
- A very small implementation of the Calculus of Constructions for experimentation purposes☆14Updated 6 years ago
- 👨🏫 Educational purpose virtual machine to assembly Neander and Neander+☆16Updated 5 years ago
- A TOML parser for Idris 2☆15Updated 4 months ago