Example of Antlr4 C++ Target
☆39Jun 6, 2020Updated 6 years ago
Alternatives and similar repositories for antlr4-cpp-example
Users that are interested in antlr4-cpp-example are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is the companion repository of the article "Getting started with ANTLR in C++"☆76Apr 18, 2024Updated 2 years ago
- Programming language built with ANTLR and LLVM in C++ for educational purposes☆12Sep 8, 2014Updated 12 years ago
- C11 parser with GNU C extensions written in C++14☆19Sep 1, 2018Updated 8 years ago
- Lua scriptable build tool☆16Oct 26, 2026Updated last week
- bctf2017 challenges☆11Apr 20, 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.
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 11 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆17Jan 7, 2022Updated 4 years ago
- ☆10Dec 7, 2024Updated last year
- CMU 15-745 Spring 2014☆10Mar 7, 2014Updated 12 years ago
- C++ target for ANTLR 4, including templates and runtime☆80Jun 7, 2015Updated 11 years ago
- A Swift library to write parsers for domain specific languages.☆15Nov 3, 2020Updated 6 years ago
- C library for accessing assets (read-only data) from many different sources, with an fopen/fread-like API.☆17Mar 28, 2023Updated 3 years ago
- Parser Library in Coq to help outsource implementation and proof to AI☆18Sep 10, 2026Updated last month
- AutoParBench is a benchmark framework to evaluate compilers and tools designed to automatically insert OpenMP directives.☆13Nov 6, 2020Updated 6 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.
- Simple task runner☆13Jan 10, 2026Updated 9 months ago
- myGPIOd is a lightweight GPIO controlling framework based on libgpiod2.☆11Oct 27, 2026Updated last week
- A port of FTPS kioslave to KDE Frameworks 5☆11Aug 6, 2022Updated 4 years ago
- Material for the SC22 Deep Learning at Scale Tutorial☆41Jul 14, 2023Updated 3 years ago
- The Rocq Prover Website☆15Updated this week
- V wrapper around the excellent Wren scripting language☆10Aug 21, 2024Updated 2 years ago
- C++ library for best-effort wstring/wchar to fixed-length uchar/ustring☆19Aug 23, 2026Updated 2 months ago
- A SoC for DOOM☆20Apr 11, 2021Updated 5 years ago
- Docker Images☆17Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- BigRocq is a utility, that takes a Rocq (former Coq) project as input and uses domain knowladge to increase a number of theorems in the d…☆12Feb 11, 2026Updated 8 months ago
- Book and code and pointers to videos for my relational interpreter course☆13Jan 24, 2025Updated last year
- Yet another Game Boy emulator☆22Sep 4, 2022Updated 4 years ago
- A learning-focussed, simplified implementation of ContainerSSH☆11Dec 16, 2020Updated 5 years ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 3 years ago
- ☆19Oct 5, 2026Updated last month
- Benchmark for evaluating Coq proof search tools.☆12Apr 27, 2026Updated 6 months ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- ☆42Nov 1, 2021Updated 5 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.
- Mini Java VM in Zig☆14Aug 12, 2024Updated 2 years ago
- ☆15Oct 20, 2020Updated 6 years ago
- use CMake to build external 3rd party modules for cocos2d-x☆19Sep 6, 2021Updated 5 years ago
- A C++ cross-platform log library.☆13Jun 4, 2022Updated 4 years ago
- maxas Scott Grey's maxas assembler sgemm explaining the (for me) missing parts https://github.com/NervanaSystems/maxas☆17Dec 22, 2018Updated 7 years ago
- A library to support the use of ANTLR grammars in jetbrains IDE plugins for building custom languages.☆219Dec 10, 2024Updated last year
- project setup and configuration tool for V projects --☆20Feb 7, 2020Updated 6 years ago