Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)
☆31Feb 24, 2022Updated 4 years ago
Alternatives and similar repositories for example-fault-tolerant-parser
Users that are interested in example-fault-tolerant-parser are comparing it to the libraries listed below
Sorting:
- ☆19Jul 14, 2019Updated 6 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆46Apr 6, 2024Updated last year
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Jul 31, 2022Updated 3 years ago
- A prototype of my proposed name resolution algorithm for Rust.☆13Nov 24, 2015Updated 10 years ago
- Extension of nom to trace parser☆50Feb 3, 2025Updated last year
- A tiny wiki engine. (Fossil Export)☆13Jul 29, 2023Updated 2 years ago
- DIY Embedded Bitcoin Signing Device☆11May 22, 2022Updated 3 years ago
- Compiler for the fort programming language☆14Jun 30, 2025Updated 8 months ago
- A tool for keeping a personal log☆16Jan 1, 2025Updated last year
- A project which aim to help engineers to make proves easily☆14Mar 3, 2022Updated 4 years ago
- Library for writing tests for utilities that read text files and produce text output☆23Jun 26, 2020Updated 5 years ago
- Servant dhall bindings☆19Dec 1, 2020Updated 5 years ago
- ☆19Apr 23, 2022Updated 3 years ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆52Apr 16, 2023Updated 2 years ago
- An unofficial Idris2 package repository for Nix☆47Oct 30, 2022Updated 3 years ago
- A Lojban parser in Piston-Meta☆24Apr 11, 2021Updated 4 years ago
- MQTT broker☆11Jan 7, 2026Updated last month
- TurboTags is an integration format developed by Insurance Technologies Corporation (ITC) to allow insurance carries, vendors, and agencie…☆11Jan 30, 2023Updated 3 years ago
- Compiler and tooling for the Myte programming language.☆28Mar 6, 2023Updated 3 years ago
- Graph library for Rust☆27Aug 25, 2025Updated 6 months ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 4 years ago
- The Slate Interactive Theorem Prover☆23Jan 9, 2023Updated 3 years ago
- A simple multi-format pretty-printer for Menhir.☆61Nov 29, 2025Updated 3 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆29Aug 30, 2022Updated 3 years ago
- Typed λ-calculus in Rust☆30Jun 27, 2023Updated 2 years ago
- Visualise recursive functions and tree structures.☆30Jun 6, 2021Updated 4 years ago
- Clear My Record is a project to assist people the process of expunging their criminal convictions.☆10Nov 5, 2018Updated 7 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Oct 15, 2018Updated 7 years ago
- Algorithms to layout trees in a pretty manner.☆36Mar 7, 2022Updated 3 years ago
- Command line interface library in Idris☆33Jul 26, 2024Updated last year
- A clean, efficient parser combinator☆124Feb 15, 2022Updated 4 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Jul 3, 2020Updated 5 years ago
- A sample REST application to help testers learn to write API automation☆11Jun 12, 2024Updated last year
- ☆10May 15, 2022Updated 3 years ago
- Pure functional Lisp implemented in Rust☆208Dec 12, 2021Updated 4 years ago
- small programming language. pls be gentle.☆39Feb 3, 2026Updated last month
- Nix UX improvements☆37Oct 15, 2020Updated 5 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Jun 3, 2019Updated 6 years ago
- Efficient byte-stream pipe buffer☆44Jul 1, 2024Updated last year