☆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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Notes based on Rust Analyzer series videos☆19Aug 25, 2021Updated 4 years ago
- Toy programming language☆20May 18, 2024Updated last year
- A fast, lightweight and extensible implementation of a graph data structure.☆39Jul 1, 2024Updated last year
- unloading modules with ocaml native☆16Dec 13, 2020Updated 5 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- wecs (wckd-ecs) is a simple ECS library suitable for general use.☆10Sep 12, 2024Updated last year
- Lean 4 formalization of Rubik's cubes☆33Feb 17, 2025Updated last year
- Performance comparisons between various virtual interpreter implementation strategies☆49Apr 6, 2024Updated 2 years ago
- 🧮 | Writing an Equation Solver☆34Aug 5, 2023Updated 2 years ago
- Types for communicating with a language server☆407Jul 9, 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☆193Apr 16, 2026Updated 2 weeks ago
- Implementation of a slotmap☆10Nov 24, 2025Updated 5 months ago
- 📦 Automatically generate TypeScript declarations for Fluent files☆14May 11, 2021Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- An implementation of "A Pretty Expressive Printer" in OCaml☆26Mar 13, 2024Updated 2 years ago
- Build system☆136Oct 24, 2025Updated 6 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☆22Dec 4, 2023Updated 2 years ago
- Some basic libraries for Coq.☆14Sep 9, 2025Updated 7 months ago
- Library for snippet annotations☆489Apr 21, 2026Updated last 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Raytracing in one weekend implementation in Rust☆10Mar 5, 2021Updated 5 years ago
- Zero-cost specialization in generic context on stable Rust☆26Jun 7, 2025Updated 10 months ago
- LR-style Parser Generator☆19May 28, 2025Updated 11 months ago
- LL(k) and LALR(1) parser generator for Rust and C#☆234Updated this week
- Exhaustive iteration trait in Rust☆24Apr 7, 2026Updated 3 weeks ago
- Reference compiler for c0☆40Apr 7, 2026Updated 3 weeks ago
- ☆165Aug 4, 2022Updated 3 years ago
- HoTT in Japanese☆37Oct 1, 2023Updated 2 years ago
- Minecraft java and bedrock library☆23Apr 15, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆276Nov 26, 2024Updated last year
- ♾️ A library for universe levels and universe polymorphism☆39Apr 6, 2026Updated 3 weeks ago
- A dependent type theory with user defined data types☆47Oct 1, 2021Updated 4 years ago
- Minimal type inference Algorithm W and Algorithm M in F#☆35Oct 23, 2023Updated 2 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- A cost-aware logical framework, embedded in Agda.☆78Mar 19, 2026Updated last month
- high-performance cubical evaluation☆82Feb 27, 2026Updated 2 months ago