☆30Feb 12, 2021Updated 5 years ago
Alternatives and similar repositories for pratt-parsing-demo
Users that are interested in pratt-parsing-demo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- A library of tools for compiler construction.☆13May 18, 2016Updated 10 years ago
- A dependently typed programming language, and verification tool☆27Apr 3, 2016Updated 10 years ago
- PCB files for Adafruit E-Paper Display Breakouts☆12Feb 7, 2024Updated 2 years ago
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A file-based mirror of the nLab wiki (HTML format).☆30Updated this week
- A collection of resources for anyone looking to code.☆17Jul 30, 2017Updated 8 years ago
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- Vanilla JavaScript interpreter with built-in NO-SQL document database with Btree & ARTful indexing from the database project.☆13Apr 18, 2020Updated 6 years ago
- A path to Programming Language Theory enlightenment☆12Apr 13, 2016Updated 10 years ago
- Toolkit to create Windows desktop setups for fonts.☆13May 20, 2019Updated 7 years ago
- Ada Unit Testing Library☆11Aug 3, 2025Updated 10 months ago
- ⚖️ Trial Data Type☆21May 4, 2026Updated last month
- VanillaComm is a collection of reliable group communication primitives (e.g., total-ordering) that can benefit the distributed database s…☆12Dec 19, 2025Updated 6 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A ruby lib to achieve consensus with Cassandra☆11Feb 28, 2020Updated 6 years ago
- 🌕 JupyterLab's Desktop client☆17Mar 3, 2022Updated 4 years ago
- ☆10Jun 17, 2021Updated 5 years ago
- A demo of "Top Down Operator Precedence" parser (Pratt parsing) implemented in TypeScript☆14May 29, 2022Updated 4 years ago
- Ruby library to interact with tun/tap devices (Linux)☆26Sep 29, 2025Updated 9 months ago
- The Falcon Programming Language.☆68Nov 19, 2023Updated 2 years ago
- Non-blocking sockets wrapper☆18Aug 23, 2025Updated 10 months ago
- An extension for VS Code which provides support for the Nim language.☆13Sep 24, 2020Updated 5 years ago
- A parser combinator library inspired by Parsec.☆30Aug 4, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Service to give RPC access to block scsi reads of a device☆14Sep 6, 2016Updated 9 years ago
- A macro for compiling Kaitai Struct into Rust.☆18Nov 23, 2023Updated 2 years ago
- Calculation framework☆13Jan 20, 2026Updated 5 months ago
- Implementation of distributed and parallel databases operations like fragmentation, parallel sort, range query etc.☆10Nov 2, 2017Updated 8 years ago
- s-expression codecs and updates for OCaml☆12Mar 23, 2017Updated 9 years ago
- ☆13Jan 20, 2021Updated 5 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- Boost.org logic module☆12Apr 22, 2026Updated 2 months ago
- Simple in-memory Graph Database/Cache (Triplestore): learn how a Graph DB works (educational, learner)☆12Feb 6, 2016Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Astview is a graphical viewer for abstract syntax trees☆25Mar 26, 2022Updated 4 years ago
- Redis AOF Analyser☆10Sep 22, 2019Updated 6 years ago
- Open-source keyboard firmware for Atmel AVR and Arm USB families☆15Sep 23, 2025Updated 9 months ago
- Simple Front-end Development Workflow☆20Nov 10, 2015Updated 10 years ago
- ☆34May 21, 2026Updated last month
- A approach for manage text field over scroll view across keyboard in iOS.☆10Dec 9, 2020Updated 5 years ago
- Dockerfile for alpine linux with crystal that will allow you to compile static crystal binaries on any system☆12Oct 10, 2019Updated 6 years ago