DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3
☆20Apr 29, 2019Updated 6 years ago
Alternatives and similar repositories for dragonegg
Users that are interested in dragonegg are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A graph coloring register allocator for LLVM.☆11Jan 23, 2017Updated 9 years ago
- Xcode-compatible build tool. Forked for PureDarwin☆13Jul 19, 2024Updated last year
- Darwin Foundation (CoreFoundation & PureFoundation)☆17Jul 9, 2018Updated 7 years ago
- A Terminal.app for ravynOS☆20Oct 25, 2025Updated 5 months ago
- Fortran Front-End☆14Jun 9, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A mirror of the upstream binutils-gdb repository for ARC specific work☆16Updated this week
- A procedurally generated city rendered with D3D12 and Vulkan☆13Feb 4, 2020Updated 6 years ago
- Anticipating Invariant☆12Mar 14, 2014Updated 12 years ago
- Since the main implementation is in trunk, this is open just for occasional WIP and ideas.☆12Jan 21, 2026Updated 2 months ago
- A cross platform terminal emulator. Buildin plugin system support python and c/c++ plugin.☆15Aug 7, 2023Updated 2 years ago
- This is the open-source site for XFDetector (ASPLOS'20)☆11Mar 5, 2021Updated 5 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- FlipIt: An LLVM Based Fault Injector for HPC☆15May 14, 2021Updated 4 years ago
- The Ada Conformity Assessment Test Suite, customised for GCC.☆12Aug 1, 2024Updated last year
- 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.
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆19Mar 20, 2021Updated 5 years ago
- An unofficial guide to contributing to GCC, aimed at newbies☆127Oct 3, 2024Updated last year
- A C++ based Velodyne HDL-64E S2 and HDL-32E interfacing library☆10Sep 22, 2016Updated 9 years ago
- A fork of Quake3e to primarily display triggers and invisible brushes.☆10Sep 18, 2021Updated 4 years ago
- ☆11Oct 28, 2020Updated 5 years ago
- SUPA☆28Jan 15, 2026Updated 3 months ago
- Application for the Velodyne 3D Scanner - Point Cloud Simplifier, Meshing and Floor detection☆13Jan 15, 2014Updated 12 years ago
- Efficient Sampling of SAT Solutions for Testing☆35Sep 20, 2019Updated 6 years ago
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆16Nov 14, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Model of baysig language in Haskell (minus estimate)☆15Jun 23, 2016Updated 9 years ago
- C ABCI libraries☆14Sep 10, 2017Updated 8 years ago
- gcc plugin to discover optimization passes used during compilation☆20Feb 10, 2021Updated 5 years ago
- Code for several iterations of a self-balancing robot☆18Aug 26, 2014Updated 11 years ago
- half-precision floating-point☆17Mar 2, 2026Updated last month
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 6 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 8 years ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 6 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.
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- cgat-flow repository☆16Sep 23, 2025Updated 6 months ago
- Boost.org function module☆27Mar 11, 2026Updated last month
- SHA-3 and other Keccak related algorithms in SPARK/Ada.☆37Oct 19, 2023Updated 2 years ago
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- Modern C++, range-based Mach-O parser designed for embedded use. Uses stack allocations only.☆34Oct 31, 2022Updated 3 years ago
- Android App to move robots over wifi or bluetooth☆12Apr 2, 2016Updated 10 years ago