The Simplest Parser Library (that works) in Rust
☆44Aug 6, 2024Updated last year
Alternatives and similar repositories for TSPL
Users that are interested in TSPL are comparing it to the libraries listed below
Sorting:
- An interaction combinator runtime☆18Sep 23, 2024Updated last year
- A me maintained zub-vm fork. A super-fast, stack-based virtual machine for dynamic languages☆12Aug 9, 2025Updated 6 months ago
- Jupyter Kernel Protocol for rust☆14Feb 19, 2026Updated 2 weeks ago
- A toy version of Effect, scoped down to `Toyffect.gen`, `Context.Tag` and various "Toyffect" factories☆16Jul 26, 2025Updated 7 months ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Aug 28, 2024Updated last year
- It's a baby compiler. (Lean btw.)☆16May 19, 2025Updated 9 months ago
- MnemOS Global Networking Protocol☆15Jan 26, 2024Updated 2 years ago
- ☆15Jun 13, 2025Updated 8 months ago
- Statically typed Entity-Component storage☆19Dec 5, 2025Updated 2 months ago
- Language server for the Bend programming language☆17Oct 18, 2024Updated last year
- React SSR App in Deno☆16Jun 25, 2020Updated 5 years ago
- 🐧 A components library, and a bit more!☆14Aug 12, 2021Updated 4 years ago
- A first-order concurrent automated theorem prover☆23Aug 29, 2025Updated 6 months ago
- Experimental port of headlessui to webcomponents☆19Feb 6, 2021Updated 5 years ago
- ☆14Oct 29, 2024Updated last year
- Docuraptor is a JS/TS documentation generator and server.☆15Mar 26, 2022Updated 3 years ago
- A set of components for rendering deno_doc doc nodes☆24Jul 11, 2024Updated last year
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆22Feb 10, 2026Updated 3 weeks ago
- A meta-circular interpreter of a subset of Scheme☆16Apr 12, 2020Updated 5 years ago
- ☆121Feb 1, 2024Updated 2 years ago
- ⚙️ A simple tokenizer for deno☆16May 5, 2022Updated 3 years ago
- An extensible and efficient forward-thinking web server for the future.☆24Feb 9, 2026Updated 3 weeks ago
- A minimal proof checker.☆80Sep 9, 2024Updated last year
- An LLVM interface for Lean 4. (WIP)☆26Aug 1, 2023Updated 2 years ago
- ☆58Jan 5, 2025Updated last year
- A Rust framework for building distributed, stateful entity systems with durable workflows☆56Updated this week
- ☆34Jul 14, 2023Updated 2 years ago
- ☆15Oct 17, 2024Updated last year
- This API intends to provide a standardized local interface to any machines used for manufacturing physical things.☆26Updated this week
- Temporary repository for Kind2's refactor based on HVM2☆280Sep 25, 2024Updated last year
- ☆24Jul 7, 2023Updated 2 years ago
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- learning cuda☆20Jun 27, 2016Updated 9 years ago
- Small Dioxus component which allows you to place elements in the head of your document☆23Sep 7, 2024Updated last year
- Animation Library for https://github.com/iced-rs/iced and https://github.com/pop-os/cosmic-epoch☆110Feb 19, 2026Updated last week
- A simple implementation of XTT, "A cubical language for Bishop sets"☆27Apr 22, 2022Updated 3 years ago
- A library of to show data (in browser, evcxr_jupyter) as table, chart...☆29Apr 14, 2025Updated 10 months ago
- Up-to-date material-color-utilities port☆28Feb 25, 2026Updated last week
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year