A (GCC) compiler plugin for multiversing functions
☆21May 23, 2022Updated 4 years ago
Alternatives and similar repositories for multiverse
Users that are interested in multiverse are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- bil verification tool☆12Jun 30, 2022Updated 4 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Feb 19, 2019Updated 7 years ago
- KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls☆13Jul 28, 2026Updated 3 months ago
- Enrich disassembled Smali files with resource annotations☆18Jan 23, 2017Updated 9 years ago
- This repo contains Microsoft compiler-tests to validate Windows platform particulars.☆32Jun 13, 2023Updated 3 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.
- Instruction decoder microbenchmark suite☆11Oct 31, 2017Updated 9 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆46Apr 2, 2020Updated 6 years ago
- A simple VM to play with OSR in LLVM☆20Jun 11, 2017Updated 9 years ago
- ☆14Jul 3, 2019Updated 7 years ago
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆22May 27, 2020Updated 6 years ago
- Compiler-assisted variable size benchmarking for the study of C++ metaprogram compile times.☆27Mar 30, 2026Updated 7 months ago
- a hobby operating system written in C☆10Mar 10, 2011Updated 15 years ago
- Some experiments with SMT solvers and GIMPLE IR☆44Sep 29, 2023Updated 3 years ago
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆22Nov 20, 2025Updated 11 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.
- The list of awesome programming tools that can simplify and speed up everyday work☆11Jun 14, 2024Updated 2 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- Blaze runtime system that support efficient accelerator integration for big data.☆24Mar 23, 2017Updated 9 years ago
- GCC plugins☆30Jul 29, 2011Updated 15 years ago
- 📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)☆23Feb 10, 2023Updated 3 years ago
- Helpers for DSL construction in Python☆13Nov 20, 2013Updated 12 years ago
- Experimental Programming Language☆13Aug 24, 2016Updated 10 years ago
- Unlock your Netgear EX2700☆10Oct 31, 2016Updated 10 years ago
- PE Bliss - Cross-Platform Portable Executable C++ Library☆16Jan 23, 2018Updated 8 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.
- ☆12Jun 14, 2017Updated 9 years ago
- Auxiliary macros and functions for the C standard library☆16Jun 17, 2025Updated last year
- ☆10Oct 21, 2021Updated 5 years ago
- ☆10Jan 15, 2023Updated 3 years ago
- Slides and resources for talks I've given☆15Oct 9, 2026Updated 3 weeks ago
- kernel space code☆11Jun 8, 2019Updated 7 years ago
- A GCC plugin that measures where time is spent and outputs a time trace☆13Nov 12, 2024Updated last year
- ☆22Feb 23, 2016Updated 10 years ago
- Linux virtual machines, on macOS (aka "Linux-on-Mac", "macOS subsystem for Linux", "containerd for Mac", unofficially)☆13Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆13Jun 26, 2015Updated 11 years ago
- The ISA specification for the Zalasr extension.☆16Mar 6, 2026Updated 7 months ago
- POSIX Threads for embedded systems (PTE)☆11Jul 3, 2018Updated 8 years ago
- Microcode parser for AMD, Intel, and VIA processors☆135Dec 26, 2015Updated 10 years ago
- Dart implementation of the KDL Document Language☆14May 30, 2025Updated last year
- ActivityPub framework, WIP☆13Aug 16, 2023Updated 3 years ago
- Basic file crawler written for fun.☆10Jul 17, 2018Updated 8 years ago