☆69May 21, 2023Updated 3 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 5 years ago
- Chip 8 emulator written in Rust 🕹️☆11Feb 6, 2024Updated 2 years ago
- theme inspired by transfem emo aesthetics - special for cat girls 💜😺☆11Sep 29, 2026Updated last month
- Toy programming language☆20May 18, 2024Updated 2 years ago
- A fast, lightweight and extensible implementation of a graph data structure.☆40Jul 1, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- unloading modules with ocaml native☆16Dec 13, 2020Updated 5 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 7 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆14Dec 4, 2024Updated last year
- LLM Fuzzing☆12Jul 11, 2025Updated last year
- Lean 4 formalization of Rubik's cubes☆36Feb 17, 2025Updated last year
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- An implementation of "A Pretty Expressive Printer" in OCaml☆26Mar 13, 2024Updated 2 years ago
- Direct-style parser combinator library for OCaml 5☆58Updated this week
- Exploring the "expression problem" in Rust☆48Oct 2, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 4 years ago
- ☆12Mar 2, 2026Updated 8 months ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆23Jan 30, 2024Updated 2 years ago
- wecs (wckd-ecs) is a simple ECS library suitable for general use.☆10Sep 12, 2024Updated 2 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆11Feb 13, 2025Updated last year
- Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in C…☆10Dec 16, 2024Updated last year
- Flow Playground back-end app 🤹♂️☆11Oct 9, 2024Updated 2 years ago
- my phd thesis☆26Aug 7, 2024Updated 2 years ago
- A programming environment for Minecraft☆14Aug 5, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Feb 18, 2021Updated 5 years ago
- an implementation of Observational Type Theory (OTT) and more☆30Oct 15, 2022Updated 4 years ago
- memory scanning library for linux and *nixes with /proc/pid/mem and /proc/pid/maps☆12Mar 4, 2019Updated 7 years ago
- 🧮 | Writing an Equation Solver☆34Aug 5, 2023Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 3 years ago
- Staged push/pull fusion with typed Template Haskell☆62Dec 17, 2023Updated 2 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆49Apr 6, 2024Updated 2 years ago
- Elaboration of cumulative universe hierarchies☆13Oct 26, 2026Updated last week
- The simplest implementation of Dependent Pattern Matching and Indexed Inductive Types.☆14Apr 11, 2026Updated 6 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆11May 31, 2025Updated last year
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- Types for communicating with a language server☆412Jul 9, 2024Updated 2 years ago
- CircleHash is a family of fast hashes -- CircleHash64f is ideal for short inputs, reaching 10GB/s starting at <64 bytes and 15GB/s at 256…☆24Updated this week
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- classical sequent calculus, embedded in Haskell☆22Aug 24, 2025Updated last year
- HoTT in Japanese☆38Oct 1, 2023Updated 3 years ago