HigherOrderCO / TSPLLinks
The Simplest Parser Library (that works) in Rust
โ44Updated last year
Alternatives and similar repositories for TSPL
Users that are interested in TSPL are comparing it to the libraries listed below
Sorting:
- my personal langโ16Updated last year
- ๐งช | LLVM backend for HVMโ23Updated 2 years ago
- โ119Updated last year
- ๐งฎ | Writing an Equation Solverโ34Updated 2 years ago
- An example on how to write an incremental, concurrent, fault-tolerant compilerโ55Updated 4 months ago
- โ53Updated 9 months ago
- Functional language with a powerful type system.โ172Updated last year
- A simple programming language for researching different ways of program execution and compilationโ34Updated last year
- an experimental new programming language based on interaction netsโ310Updated this week
- A highly experiment portable runtimeโ20Updated last year
- experiments with the Rust type system, including a type-level brainfuck implementationโ36Updated 11 months ago
- Minimal Prolog implemented in Rustโ45Updated 3 weeks ago
- ๐งช | Lisp with REPL and macros which will compile itselfโ13Updated 10 months ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.โ44Updated 9 years ago
- โ16Updated last month
- the WebAssembly partial evaluatorโ106Updated 2 months ago
- hindley-milner algorithmโ62Updated 2 years ago
- An interface for writing a RustTypeChecker.โ43Updated 2 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rustโ226Updated last year
- ๐ A smol functional language that targets other languagesโ65Updated last year
- The Cull monorepository.โ148Updated last week
- Temporary repository for Kind2's refactor based on HVM2โ280Updated last year
- โ16Updated last year
- Atiny is a simple compiler for a ML like languageโ11Updated 2 years ago
- โ60Updated 2 years ago
- Interaction net resourcesโ34Updated 2 weeks ago
- Fast webserver with predictable memory usageโ185Updated last year
- A tiny immediate-mode UI libraryโ20Updated 8 months ago
- Collection of Kind2 programs and proofsโ12Updated last year
- ๐ | IDE focused programming language studyโ36Updated last year