experimental new design for nom parser combinators
☆21Mar 30, 2019Updated 6 years ago
Alternatives and similar repositories for nomfun
Users that are interested in nomfun are comparing it to the libraries listed below
Sorting:
- Experiments with preordered set models of (directed) type theories☆15Jul 10, 2019Updated 6 years ago
- secret project☆17Mar 14, 2018Updated 7 years ago
- Biscuit Authentication and Authorization plugins for Apache Pulsar.☆21Jan 26, 2026Updated last month
- Work on modular implicits☆25Oct 23, 2018Updated 7 years ago
- A Rust memory allocator for large slices that don't escape the stack.☆31Jul 14, 2022Updated 3 years ago
- Stepper Acceleration Ramp Generator☆28Oct 15, 2024Updated last year
- second-order abstract syntax☆31Sep 15, 2021Updated 4 years ago
- ☆35Jul 19, 2019Updated 6 years ago
- IO using sized types and copatterns☆36Apr 14, 2021Updated 4 years ago
- A solitaire collection and solitaire construction kit for terminal☆34Jan 11, 2021Updated 5 years ago
- A type checker for the Lean theorem prover☆40Mar 6, 2021Updated 4 years ago
- This repository is for the Python Beta participants to post example code☆12Sep 8, 2017Updated 8 years ago
- An interactive Datalog☆66Feb 17, 2026Updated 2 weeks ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Apr 18, 2018Updated 7 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Platform-agnostic Rust driver for the VEML6030 and VEML7700 high-accuracy ambient light sensors.☆10Jun 27, 2025Updated 8 months ago
- Node.js Bindings for LZO Compression☆10May 7, 2019Updated 6 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Crate help in terminal: A tool for looking up details about rust crates without going to crates.io☆42Jun 30, 2020Updated 5 years ago
- ☆14Sep 11, 2014Updated 11 years ago
- Efficient binder representation in OCaml☆43Jul 5, 2024Updated last year
- The multimode presheaf proof-assistant☆37Jan 23, 2026Updated last month
- ONE-SHOT Algebraic Effects for Lua!☆49Mar 11, 2025Updated 11 months ago
- Web based opetopic editor☆36Oct 21, 2024Updated last year
- rustupolis - Tuple Space for Rust.☆11Feb 24, 2026Updated last week
- ☆11May 2, 2019Updated 6 years ago
- ☆16Dec 14, 2025Updated 2 months ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- Sia GPU miner☆10Jul 20, 2016Updated 9 years ago
- Library for tokenizing code with TextMate grammars☆12Jan 4, 2024Updated 2 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago
- A modified version of Bresenham's line algorithm for drawing lines of arbitrary thickness.☆12Apr 14, 2015Updated 10 years ago
- Rust Implementation of the Diameter Protocol☆13Oct 17, 2025Updated 4 months ago
- A Clojure facade for the FoundationDB record-layer☆15Dec 10, 2025Updated 2 months ago
- Rust library for HTML santisation. https://docs.rs/sanitize_html/☆16Oct 20, 2025Updated 4 months ago
- An application to visualize the semantic distance between two words using the Wordnet lexical database and algorithmic path finding.☆11Jan 18, 2021Updated 5 years ago
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- A Rust crate to write toy distributed systems with Maelstrom as Actors.☆11Jan 23, 2022Updated 4 years ago