A client/server for trying out and learning about ANTLR
☆45Aug 3, 2024Updated 2 years ago
Alternatives and similar repositories for antlr4-lab
Users that are interested in antlr4-lab are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formatter for ANTLR 4 grammars☆47Aug 3, 2026Updated last month
- Toolkit for grammars☆99Updated this week
- ☆75Jul 8, 2024Updated 2 years ago
- Sprites - A Simple JavaScript Library to handle Sprites on HTML Canvas☆16Jul 16, 2016Updated 10 years ago
- utility to create xast trees☆13Jul 31, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Ecore and OCL runtime API for C#☆11Feb 8, 2021Updated 5 years ago
- [DEPRECATED] Virtual Machine for BlueByte☆11Feb 18, 2020Updated 6 years ago
- Tools to run antlr4 w/o needing to install java or antlr4!☆118Apr 27, 2025Updated last year
- 🌱 Simple event driven server☆19Mar 30, 2026Updated 5 months ago
- ☆10Oct 11, 2022Updated 3 years ago
- The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…☆59Updated this week
- RethinkDB Next Generation Admin UI☆17Updated this week
- JSDoc Toolkit modifications required to generate the Paper.js reference.☆20Jul 12, 2019Updated 7 years ago
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆24Apr 1, 2023Updated 3 years ago
- 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.
- CLI shader debugger / testbed for SPIRV-VM☆18Apr 26, 2020Updated 6 years ago
- owlapitools - a set of independent add-ons for OWL API☆16Oct 27, 2020Updated 5 years ago
- Open Hardware Monitor Prometheus Exporter☆11Nov 25, 2022Updated 3 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- ☆25Jun 29, 2025Updated last year
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆11Nov 2, 2013Updated 12 years ago
- Parser generator tool with full separation between grammar and target code☆25Oct 22, 2016Updated 9 years ago
- ☆12Mar 3, 2021Updated 5 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.
- Tiny GDI stress test made with winforms (C# .NET5 & .NETFX4.6) + Win32 (C++)☆16Jan 28, 2021Updated 5 years ago
- Small portable regex in C (cbmc verified, and extended)☆13Jun 6, 2023Updated 3 years ago
- Native-friendly API for Haxe targets☆11Aug 24, 2018Updated 8 years ago
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆18Oct 23, 2012Updated 13 years ago
- Fault injection and chaos testing all in one, sweet DSL.☆12Jan 26, 2026Updated 7 months ago
- Collection of examples for the MiniSat API☆16Feb 1, 2011Updated 15 years ago
- Natively building Lua with any compiler on any platform☆10Feb 5, 2023Updated 3 years ago
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- CLI tool for RTL design space exploration on top of Vivado☆15Jun 5, 2023Updated 3 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.
- Call Rust from Perl with libffi☆18Dec 10, 2016Updated 9 years ago
- An open source game engine for voxel worlds☆10Apr 6, 2021Updated 5 years ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 6 years ago
- Bitcoin full node as a C Programming Language library☆10Dec 3, 2025Updated 9 months ago
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years ago
- Perl 5 to Perl 6 Translator☆22Dec 18, 2022Updated 3 years ago