Implementation of Pratt parser in C++11
☆26Mar 15, 2015Updated 11 years ago
Alternatives and similar repositories for pratt-parser
Users that are interested in pratt-parser are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆23Aug 25, 2017Updated 8 years ago
- C++ parser combinator library☆100Jul 2, 2015Updated 11 years ago
- Mathematical expression evaluator with just in time code generation.☆12Apr 7, 2013Updated 13 years ago
- Reference type checker for the Lean theorem prover☆64Mar 17, 2017Updated 9 years ago
- A JIT compiler for the BASIC programming language☆13Dec 10, 2021Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Lean ported to Javascript with Emscripten☆27Jun 27, 2017Updated 9 years ago
- Lua scriptable build tool☆16Jul 12, 2026Updated last month
- A very boring programming language☆12Aug 19, 2025Updated 11 months ago
- Grub bootloader theme☆13Feb 18, 2020Updated 6 years ago
- ROS package for online trajectory generation and tracking using nonlinear control law for ground vehicle☆11Dec 30, 2017Updated 8 years ago
- Graphical finite state machine editor with code generator.☆19Sep 13, 2018Updated 7 years ago
- 💡 Build your own programming language! A C++17 PEG parser generator supporting parser combination, memoization, left-recursion and conte…☆252Jun 1, 2021Updated 5 years ago
- A language for writing command line interfaces in Racket☆15Dec 20, 2021Updated 4 years ago
- A Pythonic DSL construction engine for import–time code translation.☆12May 25, 2017Updated 9 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.
- Library for managing windows for cross platform UI applications☆28Jul 15, 2026Updated 3 weeks ago
- OpenOffice style files for JabRef☆12May 30, 2024Updated 2 years ago
- C++11 Work-Stealing Task Scheduler☆37Nov 24, 2019Updated 6 years ago
- Repository for JabRef's blog☆10Updated this week
- Stanford CoreNLP examples in Scala☆11Jan 12, 2017Updated 9 years ago
- ILAng documentation☆11Nov 2, 2025Updated 9 months ago
- Fork of the Tiny C Compiler patched to compile code on iOS☆16Jun 2, 2018Updated 8 years ago
- IMRPOVED simple vector database made in numpy☆14Jun 2, 2024Updated 2 years ago
- A minimalistic scripting language with parser and interpreter in a single C++ header file☆27Jan 19, 2022Updated 4 years 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.
- Compiler for the bJou programming language☆28Jul 22, 2020Updated 6 years ago
- A tiny implementation of in-place FFT. The performance is comparable to FFTW3 for length 2^17 to 2^20.☆15Jul 24, 2018Updated 8 years ago
- Generate a TkInter GUI from simple Python programs.☆12Jun 28, 2022Updated 4 years ago
- A Pratt Parser implementation in Python☆29Apr 19, 2017Updated 9 years ago
- Export Moov fitness tracker data from Android☆14Mar 7, 2018Updated 8 years ago
- Rat cardiovascular system simulation☆14Dec 18, 2024Updated last year
- Roku extensions to the C++ standard library☆23Oct 2, 2024Updated last year
- CMU Undergrad Course☆96Feb 18, 2023Updated 3 years ago
- GLTools lives... continued maintenance of a library I find useful since the OpenGL SuperBible days.☆14Jun 29, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- RW Garamond☆16May 1, 2019Updated 7 years ago
- an easy cpp language-server-protocol client☆28Jul 25, 2024Updated 2 years ago
- RWMutex for sharing of multicore machines.☆17May 24, 2019Updated 7 years ago
- BrainFuck Compiler Challenge☆30May 25, 2026Updated 2 months ago
- Double-double arithmetic for Python☆19Mar 1, 2017Updated 9 years ago
- Unit conversion and manipulation library for Haskell.☆18Dec 6, 2018Updated 7 years ago
- A Gradle Plugin to compile WASM to JVM easily☆26Nov 25, 2019Updated 6 years ago