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:
- ๐งช | LLVM backend for HVMโ23Updated 2 years ago
- my personal langโ16Updated last year
- โ119Updated last year
- โ52Updated 7 months ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.โ44Updated 9 years ago
- ๐งฎ | Writing an Equation Solverโ34Updated 2 years ago
- โ23Updated 2 years ago
- Functional language with a powerful type system.โ172Updated last year
- ๐งช | Lisp with REPL and macros which will compile itselfโ13Updated 8 months ago
- hindley-milner algorithmโ61Updated 2 years ago
- an experimental new programming language based on interaction netsโ291Updated this week
- A highly experiment portable runtimeโ20Updated last year
- 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โ62Updated last year
- ๐ | IDE focused programming language studyโ34Updated last year
- Collection of Kind2 programs and proofsโ12Updated last year
- โ14Updated this week
- โ17Updated last year
- A Hindley-Milner polymorphic typing systemโ59Updated last year
- Temporary repository for Kind2's refactor based on HVM2โ281Updated 10 months ago
- Basic (and naive) LZW and Huffman compression algorithms in Rust.โ11Updated 2 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rustโ221Updated 9 months ago
- The Cull monorepository.โ124Updated this week
- Par (โ ) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.โ426Updated this week
- An interaction combinator runtimeโ17Updated 10 months ago
- A tiny immediate-mode UI libraryโ21Updated 5 months ago
- Provides a Refl encoding in Rustโ68Updated 2 years ago
- A minimal proof checker.โ75Updated 10 months ago
- Exploring the "expression problem" in Rustโ50Updated 2 years ago