A portable parser combinator library that does not require a runtime
☆13Sep 16, 2019Updated 7 years ago
Alternatives and similar repositories for honeycomb
Users that are interested in honeycomb are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Passerine's package manager.☆22Jul 29, 2022Updated 4 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆17Mar 31, 2022Updated 4 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 5 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 5 years ago
- a programming language☆12Aug 19, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A pluggable NES emulator☆31Jun 8, 2019Updated 7 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- Tsar programming language☆17Dec 22, 2019Updated 6 years ago
- Just For Fun☆10Nov 17, 2023Updated 2 years ago
- A minimalist actor framework aiming for high performance and simplicity.☆46Feb 3, 2026Updated 9 months ago
- An ESP32-based project for reading/writing GameCube controller signals and sending them over a network.☆11Sep 12, 2021Updated 5 years ago
- Media library integrated with multiple online services ( Anilist, MAL, Kitsu ) in one UWP app.☆12Dec 8, 2022Updated 3 years ago
- Raspberry Pi Pico Random Number Generator☆14Jan 10, 2026Updated 9 months ago
- Scaffolding for multi-user Elm applications via Gulp, Express, and SockJS.☆11Apr 10, 2015Updated 11 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.
- chipy hdl☆17Apr 5, 2018Updated 8 years ago
- Continuous Buffer☆17May 8, 2025Updated last year
- LLVM's loop analysis theory (Scalar Evolution) formalized in Coq☆10Nov 17, 2018Updated 7 years ago
- ☆12Jan 19, 2024Updated 2 years ago
- ☆11Feb 21, 2022Updated 4 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆23Jun 4, 2026Updated 4 months ago
- MithrilJs Typescript Starter with TSX, SCSS and Webpack 5☆10Feb 14, 2026Updated 8 months ago
- Archived in favor of https://git.sr.ht/~mistodon/resource☆22Oct 30, 2025Updated last year
- An (in progress) implementation of a CTS → rule 110 compiler☆12Aug 14, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆13Updated this week
- Kotlin Parser combinators☆11Jun 26, 2019Updated 7 years ago
- An elegant (imo) rendering engine written in Rust.☆62Jun 6, 2022Updated 4 years ago
- ☆14May 7, 2026Updated 5 months ago
- A high-throughput, parameterized, parallel crc hardware implementation.☆12Jun 2, 2024Updated 2 years ago
- A custom element for iOS style swipeout actions, backed by Hammer.js☆12Nov 26, 2017Updated 8 years ago
- ☆11Jun 29, 2021Updated 5 years ago
- A layout renderer for Kadira Flow-Router that uses VelocityJS powered transitions☆12Jan 5, 2016Updated 10 years ago
- Building your GPT-based private knowledge hub using zkSNARK & PLONK☆13Jun 20, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Yesql inspired macro for using SQL in Rust☆22Nov 4, 2025Updated 11 months ago
- A RISC-V CPU (Outdated: using priviledge v1.7)☆26Apr 6, 2019Updated 7 years ago
- donut.c → donut.rs☆19Dec 26, 2022Updated 3 years ago
- ☆18Sep 14, 2021Updated 5 years ago
- SCENIC: Stream Computation-Enhanced SmartNIC☆16Apr 16, 2026Updated 6 months ago
- /x/pel/e/r/mus☆15May 10, 2016Updated 10 years ago
- This is program of recursive descent parser using Python programming language.☆10Jan 26, 2021Updated 5 years ago