Compiler demo using ANTLR4 and LLVM
☆27Aug 13, 2022Updated 4 years ago
Alternatives and similar repositories for demo-antlr4-llvm
Users that are interested in demo-antlr4-llvm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- C compiler using antlr4 with cpp backend and using llvm for code generation☆10Dec 22, 2017Updated 8 years ago
- Different approach for implementing a borrow checker☆14Dec 2, 2022Updated 3 years ago
- objdump for TempleOS BINaries☆15Nov 11, 2020Updated 5 years ago
- ☆10Oct 11, 2022Updated 4 years ago
- Makes any ReactPHP based library run on top of the Revolt event loop.☆18Oct 15, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Context Free Channel - All about programming languages☆12Oct 30, 2024Updated 2 years ago
- Contains code from Youtube Tutorials or Videos.☆14Oct 26, 2026Updated last week
- In-memory key-value store for testing applications against weak behaviors of a database.☆12Feb 4, 2021Updated 5 years ago
- A .NET port of https://github.com/krisk/fuse-swift☆16Oct 9, 2020Updated 6 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- Haskell bindings for libNVVM☆20Apr 1, 2014Updated 12 years ago
- Create sound waves using c++ and sfml☆15Sep 8, 2016Updated 10 years ago
- Template engine for writing HTML inside *.lua(x) files, like JSX.☆15Mar 10, 2026Updated 7 months ago
- ☆10Sep 9, 2011Updated 15 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- htmxjs is the server-side js framework for HTMX☆20Oct 22, 2023Updated 3 years ago
- Used with https://archive.org/details/TempleOS_ISO_Archive☆17Feb 24, 2020Updated 6 years ago
- Library containing safer alternatives/wrappers for insecure C APIs.☆26Apr 28, 2026Updated 6 months ago
- Collection of examples for the MiniSat API☆16Feb 1, 2011Updated 15 years ago
- A novel, space-efficient, probabilistic data structure for hashing a large number of values. It is similar to a hash table, but smaller b…☆11Oct 18, 2024Updated 2 years ago
- Implementation of a fast and space efficient Hash Array Mapped Trie in C# based on Philip Bagwell's paper, "Ideal Hash Trees"☆12Aug 13, 2016Updated 10 years ago
- A minimal metal application☆15Mar 24, 2021Updated 5 years ago
- fork of esprima, with full ES2022 support☆21Mar 13, 2024Updated 2 years ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Programming Fonts with Ligatures added (& a script to add them to other fonts)☆13Jun 12, 2018Updated 8 years ago
- libexecinfo for musl libc☆15Apr 16, 2022Updated 4 years ago
- Completed nested geo objects from OSM-PBF. Saving RAM and caching the results.☆14Sep 27, 2022Updated 4 years ago
- Generic parse tree, configurable lexer, `lemon` parser generator, wrapped for C++17 and Python 3.☆15Apr 26, 2021Updated 5 years ago
- Compiler and standard library for the Spice programming language.☆89Updated this week
- Elastic Tabstops Mono for VS Code☆14Dec 10, 2022Updated 3 years ago
- ☆11May 5, 2021Updated 5 years ago
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆19Oct 23, 2012Updated 14 years ago
- A luajit set of ffi wrappers for the excellent sokol framework,☆10Sep 3, 2026Updated 2 months 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.
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- Vue and Tableau integration.☆12Dec 10, 2022Updated 3 years ago
- lua build system ported to Build.zig☆11May 16, 2025Updated last year
- .NET port of RxJS marble tests☆10Dec 17, 2019Updated 6 years ago
- Windows malware analysis logging tool.☆15May 28, 2016Updated 10 years ago
- Simple tool for recording keyboard and mouse macros that can be played back later☆11Jun 22, 2018Updated 8 years ago
- Distributed Algorithms — Online Textbook☆18Jan 2, 2021Updated 5 years ago