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
- ๐งฎ | Writing an Equation Solverโ34Updated 2 years ago
- โ119Updated last year
- ๐งช | LLVM backend for HVMโ23Updated 2 years ago
- hindley-milner algorithmโ62Updated 2 years ago
- ๐งช | Lisp with REPL and macros which will compile itselfโ13Updated 8 months ago
- an experimental new programming language based on interaction netsโ298Updated this week
- โ52Updated 7 months ago
- Functional language with a powerful type system.โ171Updated last year
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.โ44Updated 9 years ago
- Collection of Kind2 programs and proofsโ12Updated last year
- โ23Updated 2 years ago
- An interface for writing a RustTypeChecker.โ43Updated 2 years ago
- A simple programming language for researching different ways of program execution and compilationโ33Updated 10 months ago
- ๐ A smol functional language that targets other languagesโ63Updated last year
- Basic (and naive) LZW and Huffman compression algorithms in Rust.โ11Updated 2 years ago
- Interaction net resourcesโ28Updated last week
- Temporary repository for Kind2's refactor based on HVM2โ281Updated 11 months ago
- A highly experiment portable runtimeโ20Updated last year
- An experimental programming languageโ71Updated 3 weeks ago
- The Haskellโs do notation brought to Rustโ64Updated 3 years ago
- The Cull monorepository.โ141Updated this week
- Seamless Higher-Kinded Types in Rustโ84Updated 2 years ago
- ๐ | IDE focused programming language studyโ34Updated last year
- the WebAssembly partial evaluatorโ97Updated last week
- Pattern matching and exhaustiveness checking algorithms implemented in Rustโ221Updated 9 months ago
- An interaction combinator runtimeโ17Updated 11 months ago
- โ17Updated last year
- An example on how to write an incremental, concurrent, fault-tolerant compilerโ43Updated last month
- A Hindley-Milner polymorphic typing systemโ59Updated last year