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:
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 12 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆22Aug 25, 2017Updated 8 years ago
- Simple C++ plotting☆18Jun 13, 2019Updated 6 years ago
- Slides and Source Code from "Demystifying Floating Point Numbers" given at CPPCon 2015.☆21Sep 24, 2015Updated 10 years ago
- C++ parser combinator library☆100Jul 2, 2015Updated 10 years ago
- Mathematical expression evaluator with just in time code generation.☆12Apr 7, 2013Updated 12 years ago
- Reference type checker for the Lean theorem prover☆63Mar 17, 2017Updated 9 years ago
- Lean ported to Javascript with Emscripten☆27Jun 27, 2017Updated 8 years ago
- An OpenGL surface plot visualizer☆12May 26, 2020Updated 5 years ago
- A library for reusable parsers☆17Feb 5, 2021Updated 5 years ago
- Persistent red-black tree in C++☆31Oct 4, 2025Updated 5 months ago
- Graphical finite state machine editor with code generator.☆18Sep 13, 2018Updated 7 years ago
- CSL style for DSTU GOST 7.1 2006☆14Dec 10, 2017Updated 8 years ago
- Stanford CoreNLP examples in Scala☆11Jan 12, 2017Updated 9 years ago
- C++11 Work-Stealing Task Scheduler☆37Nov 24, 2019Updated 6 years ago
- Repository for JabRef's blog☆11Mar 2, 2026Updated 3 weeks ago
- Fork of the Tiny C Compiler patched to compile code on iOS☆16Jun 2, 2018Updated 7 years ago
- A Pratt Parser implementation in Python☆31Apr 19, 2017Updated 8 years ago
- Toy RISC-V emulator☆15Oct 10, 2017Updated 8 years ago
- qcc is a small toy C compiler☆43Apr 10, 2017Updated 8 years ago
- Anonymize sensitive information in text prompts before sending them to LLM applications☆20Mar 24, 2024Updated 2 years ago
- 🖥a simple c-like language compiler☆19Feb 20, 2018Updated 8 years ago
- Compiler for the bJou programming language☆27Jul 22, 2020Updated 5 years ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆29Updated this week
- RWMutex for sharing of multicore machines.☆18May 24, 2019Updated 6 years ago
- An implementation of an algebraically closed interval system of the extended real number set☆100Dec 26, 2025Updated 2 months ago
- Skeuowie (or Skeuwie) is a UNIX desktop environment with the main goal of full skeuomorphism.☆27Sep 26, 2025Updated 5 months ago
- Creates images of arbitrary Lua values using GraphViz☆32Jul 16, 2020Updated 5 years ago
- ☆12Nov 24, 2020Updated 5 years ago
- A small, flexible and extensible front-end for GLSL.☆21Jul 20, 2022Updated 3 years ago
- Ported gtk2hs demo apps☆17Nov 2, 2021Updated 4 years ago
- A Game Boy Emulator written in C++.☆12Mar 30, 2024Updated last year
- Multiple Emulator for MSX1 cartridge (16KB or 32KB) games, SG-1000, Othello MultiVision☆14Jan 27, 2021Updated 5 years ago
- The Lesma Programming Language☆21Updated this week
- Byeol Programming language.☆10Mar 14, 2026Updated last week
- C recursive descent parser based on Ian Piumarta's peg(1)☆20Feb 4, 2014Updated 12 years ago
- snippets of what's new in the c++11 standard☆52Sep 7, 2014Updated 11 years ago
- LZSSE compression codec ported to SIMDe☆19Jul 2, 2020Updated 5 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Jul 16, 2021Updated 4 years ago