☆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
- Interplanetary telemetry format☆21Jun 22, 2018Updated 7 years ago
- sorear's Metamath system engine☆13May 5, 2016Updated 10 years ago
- A dependently typed programming language, and verification tool☆27Apr 3, 2016Updated 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.
- Hello world in C90 (ANSI C) built for Intel/AMD, PowerPC, System z, ARM, MIPS, RISC-V☆21Aug 2, 2024Updated last year
- 🎹 A mechanical keyboard sound simulator for macOS☆17Feb 15, 2025Updated last year
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated 2 years ago
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 3 years ago
- A sample Heroku app that shows how to use the nginx buildpack to require SSL for some connections☆14Oct 27, 2014Updated 11 years ago
- A file-based mirror of the nLab wiki (HTML format).☆30Updated this week
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- ☆39Feb 2, 2021Updated 5 years ago
- A tiny thin client for multiplayer games☆19Feb 6, 2014Updated 12 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.
- Maduino Zero A9 or A9G demo code☆13Dec 30, 2022Updated 3 years ago
- A Rust library for performing symbolic mathematics. Supports basic arithmetic operations, expression simplification, and expansion, and e…☆11Mar 19, 2024Updated 2 years ago
- Bloom filter alternative (C++)☆18Nov 8, 2018Updated 7 years ago
- parallel seam carving for video retargeting☆12Aug 24, 2016Updated 9 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
- evaluation using f-algebras☆23Sep 7, 2015Updated 10 years ago
- VanillaComm is a collection of reliable group communication primitives (e.g., total-ordering) that can benefit the distributed database s…☆12Dec 19, 2025Updated 5 months ago
- A ruby lib to achieve consensus with Cassandra☆11Feb 28, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 🌕 JupyterLab's Desktop client☆17Mar 3, 2022Updated 4 years ago
- ggit☆18Jul 8, 2013Updated 12 years ago
- A tricky compiler generator☆13Nov 11, 2015Updated 10 years ago
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Dec 24, 2015Updated 10 years ago
- ☆10Jun 17, 2021Updated 4 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 8 months ago
- The Falcon Programming Language.☆68Nov 19, 2023Updated 2 years ago
- Non-blocking sockets wrapper☆18Aug 23, 2025Updated 9 months 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.
- Expose a Git repository as a filesystem for the http package☆12Oct 17, 2014Updated 11 years ago
- A parser combinator library inspired by Parsec.☆30Aug 4, 2015Updated 10 years ago
- Service to give RPC access to block scsi reads of a device☆14Sep 6, 2016Updated 9 years ago
- Write your generalized parser combinator in 60 lines and extend it.☆12May 29, 2021Updated 5 years ago
- Implementation of distributed and parallel databases operations like fragmentation, parallel sort, range query etc.☆10Nov 2, 2017Updated 8 years ago
- FreeBSD daemon that watches files and runs commands when they change☆15Jan 30, 2023Updated 3 years ago
- Redis AOF Analyser☆10Sep 22, 2019Updated 6 years ago