☆67May 21, 2023Updated 2 years ago
Alternatives and similar repositories for resilient-ll-parsing
Users that are interested in resilient-ll-parsing are comparing it to the libraries listed below
Sorting:
- Notes based on Rust Analyzer series videos☆19Aug 25, 2021Updated 4 years ago
- A fast, lightweight and extensible implementation of a graph data structure.☆39Jul 1, 2024Updated last year
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- ☆11Jun 20, 2025Updated 9 months ago
- Exploring the "expression problem" in Rust☆50Oct 2, 2022Updated 3 years ago
- wecs (wckd-ecs) is a simple ECS library suitable for general use.☆10Sep 12, 2024Updated last year
- Lean 4 formalization of Rubik's cubes☆32Feb 17, 2025Updated last year
- Performance comparisons between various virtual interpreter implementation strategies☆49Apr 6, 2024Updated last year
- A tree-walk interpreter and a bytecode virtual machine interpreter written in the Rust Programming Language.☆13Jun 16, 2022Updated 3 years ago
- Resilient LL(1) parser generator for Rust☆190Feb 25, 2026Updated 3 weeks ago
- Implementation of a slotmap☆10Nov 24, 2025Updated 3 months ago
- 📦 Automatically generate TypeScript declarations for Fluent files☆14May 11, 2021Updated 4 years ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- Writing a replacement for xkb for wayland☆12Mar 14, 2026Updated last week
- An implementation of "A Pretty Expressive Printer" in OCaml☆26Mar 13, 2024Updated 2 years ago
- Build system☆136Oct 24, 2025Updated 4 months ago
- 🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.☆15Aug 13, 2022Updated 3 years ago
- Lisp compiler using Rust☆21Dec 4, 2023Updated 2 years ago
- It’s a pure safe BTree that can be used to build your own special-purpose btree data structure☆58Mar 6, 2026Updated 2 weeks ago
- Calculating and filling the Canadian income tax forms☆16Mar 16, 2026Updated last week
- Library for snippet annotations☆484Updated this week
- 让 Java 1.8 也能像 Kotlin 一样使用 Sealed Class。Make Java 1.8 use Sealed Class like Kotlin☆12Aug 31, 2022Updated 3 years ago
- my phd thesis☆26Aug 7, 2024Updated last year
- ☆11May 31, 2025Updated 9 months ago
- Zero-cost specialization in generic context on stable Rust☆24Jun 7, 2025Updated 9 months ago
- LL(k) and LALR(1) parser generator for Rust and C#☆233Updated this week
- Exhaustive iteration trait in Rust☆24Updated this week
- Reference compiler for c0☆39Dec 11, 2025Updated 3 months ago
- ☆167Aug 4, 2022Updated 3 years ago
- Package Manager for Kiss Linux☆19May 4, 2019Updated 6 years ago
- HoTT in Japanese☆36Oct 1, 2023Updated 2 years ago
- ☆273Nov 26, 2024Updated last year
- ♾️ A library for universe levels and universe polymorphism☆37Nov 21, 2025Updated 4 months ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- Minimal type inference Algorithm W and Algorithm M in F#☆35Oct 23, 2023Updated 2 years ago
- A cost-aware logical framework, embedded in Agda.☆78Feb 23, 2026Updated last month
- A thread pool for running multiple tasks on a configurable group of threads.☆51Nov 22, 2023Updated 2 years ago
- JavaScript Playground similar to runkit but on top of MDX and local first☆13Oct 9, 2020Updated 5 years ago
- Functional Programming in Lean☆151Jan 23, 2026Updated last month