aripiprazole / soft
🧪 | Lisp with REPL and macros which will compile itself
☆13Updated 2 months ago
Alternatives and similar repositories for soft:
Users that are interested in soft are comparing it to the libraries listed below
- Basic (and naive) LZW and Huffman compression algorithms in Rust.☆11Updated last year
- 🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.☆15Updated 2 years ago
- 🍞 | IDE focused programming language study☆34Updated 11 months ago
- Toy programming language☆19Updated 9 months ago
- A very small implementation of the Calculus of Constructions for experimentation purposes☆15Updated 6 years ago
- ☆12Updated this week
- A programming language, aka a THING☆10Updated 4 years ago
- 🧮 | Writing an Equation Solver☆34Updated last year
- VimL lisp evaluator☆10Updated 3 years ago
- ☆12Updated 2 years ago
- Atiny is a simple compiler for a ML like language☆11Updated last year
- 🧪 | LLVM backend for HVM☆23Updated last year
- A simple (and unfinished!!) database management system.☆19Updated last year
- my personal lang☆16Updated last year
- ☆19Updated last year
- My NixOS configuration☆12Updated last week
- a small one-file lisp implemented in kind2, intentionally incomplete☆10Updated 2 years ago
- Tornado is a BitTorrent client written entirely in OCaml.☆56Updated last year
- 🐒 The Blow Your Mind Conference☆13Updated 4 months ago
- my studies through functional implementations of common data-structures☆9Updated 2 years ago
- The Simplest Parser Library (that works) in Rust☆42Updated 6 months ago
- A Json parser in TypeScript☆16Updated last year
- Convert OCaml Types between different major versions☆14Updated 2 years ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 7 months ago
- dependent type theory experiment☆25Updated last year
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago