aripiprazole / soft
๐งช | Lisp with REPL and macros which will compile itself
โ13Updated 3 months ago
Alternatives and similar repositories for soft:
Users that are interested in soft are comparing it to the libraries listed below
- ๐ฎ | Is a programming language aimed at incorporating everything Iโd like to have in Haskell, except dependent types.โ15Updated 2 years ago
- A very small implementation of the Calculus of Constructions for experimentation purposesโ15Updated 6 years ago
- ๐ | IDE focused programming language studyโ34Updated last year
- Basic (and naive) LZW and Huffman compression algorithms in Rust.โ11Updated last year
- Toy programming languageโ19Updated 10 months ago
- VimL lisp evaluatorโ10Updated 3 years ago
- A programming language, aka a THINGโ10Updated 4 years ago
- โ13Updated this week
- ๐งฎ | Writing an Equation Solverโ34Updated last year
- A simple (and unfinished!!) database management system.โ19Updated last year
- โ12Updated 2 years ago
- OCaml supportโ16Updated 3 months ago
- algebraic typechecking and elaboration of type systemsโ12Updated 2 months ago
- My NixOS configurationโ12Updated 3 weeks ago
- Lambda Calculus parser and interpreter made in TypeScript's type systemโ12Updated 10 months ago
- โ19Updated last year
- Tornado is a BitTorrent client written entirely in OCaml.โ56Updated last year
- ๐งช | LLVM backend for HVMโ23Updated last year
- A brainfuck interpreter in Haskell. Rewrite of tsfuckโ11Updated 3 years ago
- Convert OCaml Types between different major versionsโ14Updated 2 years ago
- Atiny is a simple compiler for a ML like languageโ11Updated last year
- a small one-file lisp implemented in kind2, intentionally incompleteโ10Updated 2 years ago
- The Simplest Parser Library (that works) in Rustโ42Updated 7 months ago
- Notification system, that schedules alarms on redis and send to all consumers.โ13Updated 3 years ago
- โ13Updated last year
- A simple viewer of the cutoff scores for all Brazilian universities participating in SISUโ16Updated last year
- A dependently typed programming language with direct style effects and linearityโ19Updated 8 months ago
- A fancy diagnostics library that allows your compilers to exit with graceโ71Updated last week
- my personal langโ16Updated last year
- A Json parser in TypeScriptโ16Updated last year