C++ parser combinator library
☆100Jul 2, 2015Updated 10 years ago
Alternatives and similar repositories for Parser-Combinators
Users that are interested in Parser-Combinators are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- transducers in C++ 14☆39Sep 23, 2014Updated 11 years ago
- 💡 Build your own programming language! A C++17 PEG parser generator supporting parser combination, memoization, left-recursion and conte…☆251Jun 1, 2021Updated 4 years ago
- 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
- Experiments about intermediate representations in compilers☆28Aug 24, 2012Updated 13 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Combinators for bidirectional JSON parsing☆21May 29, 2014Updated 11 years ago
- Slides and Source Code from "Demystifying Floating Point Numbers" given at CPPCon 2015.☆21Sep 24, 2015Updated 10 years ago
- Parsing Expression Grammar Template Library☆2,117Mar 31, 2026Updated last week
- C++ file backed vector for very fast column databases, useful for time series data☆23Mar 16, 2015Updated 11 years ago
- Example of embedding Servant within a Yesod Application☆15Aug 23, 2016Updated 9 years ago
- Derive editors for data types.☆29Oct 5, 2014Updated 11 years ago
- Running the code you want to write as fast as the code you have to write☆140Oct 16, 2016Updated 9 years ago
- ☆18Aug 31, 2022Updated 3 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 10 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- C++ template library for fans of functional programming☆992Jan 7, 2019Updated 7 years ago
- Monad and transformer for deferred-effect pure prompt-response queries☆12Jun 28, 2019Updated 6 years ago
- A library for reusable parsers☆17Feb 5, 2021Updated 5 years ago
- Overridable universal operator overloading for C++14☆20Nov 12, 2014Updated 11 years ago
- Reference type checker for the Lean theorem prover☆63Mar 17, 2017Updated 9 years ago
- parser combinator and AST generator in c++17☆24Feb 16, 2023Updated 3 years ago
- C++20 functional library☆298Mar 31, 2023Updated 3 years ago
- libapi is a cross platform high performance io library written in c. It provides ability to write event driven servers and applications w…☆57Aug 19, 2018Updated 7 years ago
- QuickCheck-like property based automated testing tool for C++☆111Dec 26, 2016Updated 9 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.
- SoftWire is a class library written in object-oriented C++ for compiling assembly code. It can be used in projects to generate x86 machi…☆25May 28, 2009Updated 16 years ago
- Clojure library for parsing and seamless working with native C structs/structured byte buffers☆14May 26, 2015Updated 10 years ago
- A parser tool for Racket with an expressive grammar notation☆20Mar 8, 2015Updated 11 years ago
- A Purescript table renderer capable of displaying multidimensional, heterogeneous JSON data☆14Jan 24, 2018Updated 8 years ago
- C++ template metaprogramming library collection☆127May 13, 2016Updated 9 years ago
- Higher-order functions for c++☆512Mar 11, 2026Updated last month
- ☆15Feb 10, 2015Updated 11 years ago
- Support for Currying and Function Composition in C++☆61Jul 25, 2015Updated 10 years ago
- Continuation-ready container algorithms from STL algorithms☆60May 22, 2017Updated 8 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.
- Lean Tutorials☆46Oct 4, 2020Updated 5 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 9 years ago
- A growable array (vector) implemented as a B-tree☆16Mar 26, 2026Updated 2 weeks ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- a Haskell implementation of Deep Learning frameworks.☆12Mar 29, 2016Updated 10 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Mar 26, 2026Updated 2 weeks ago
- ☆23Oct 15, 2023Updated 2 years ago