ALLVM Tools
☆57Mar 23, 2022Updated 4 years ago
Alternatives and similar repositories for allvm-tools
Users that are interested in allvm-tools are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Sep 12, 2018Updated 8 years ago
- Piecewise debloating toolchain☆15Dec 21, 2019Updated 6 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 10 years ago
- Extracting high level semantic information from binary code☆66Jun 13, 2019Updated 7 years ago
- Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.☆25Feb 6, 2021Updated 5 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.
- My cross-machine shared configuration, defaults, modules, and packages not suitable for upstreaming or NUR☆12Oct 15, 2026Updated 2 weeks ago
- VM framework using LLVM by Nicolas Geoffray, including a functional JVM. 'master' tracks official SVN, other branches are my own develop…☆10Feb 5, 2012Updated 14 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆17May 27, 2022Updated 4 years ago
- Interprocedural Basic Block Code Layout Optimization☆19Jan 17, 2019Updated 7 years ago
- A set of morally pure fetching builtins for Nix.☆43Apr 23, 2023Updated 3 years ago
- A tool that generates a Nix derivation from a Ninja build file.☆25May 2, 2025Updated last year
- Arbitrary commands as remote Nix stores☆11Apr 16, 2018Updated 8 years ago
- Run nix in a lightweight chroot container☆86Oct 29, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- NeonGoby alias analysis checker☆15Jul 2, 2013Updated 13 years ago
- Interpreter and compiler for the ISA specification language "ISA Specification Language" (ISL)☆44Aug 25, 2026Updated 2 months ago
- CSiBE☆34Feb 17, 2022Updated 4 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆18Mar 29, 2021Updated 5 years ago
- nix value introspection - made easy☆12Apr 21, 2024Updated 2 years ago
- The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.☆25Jul 3, 2019Updated 7 years ago
- Staging area for work on Integer Overflow Checker (IOC), a clang extension that provides compiler flags to insert check for various sourc…☆22Oct 31, 2012Updated 14 years ago
- An Open-Source SCAlable Interface for ISA Extensionsfor RISC-V Processors. New Version:☆17Feb 29, 2024Updated 2 years ago
- Tools to create channels from hydra jobsets☆40Jul 8, 2026Updated 3 months 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.
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- A simple VM to play with OSR in LLVM☆20Jun 11, 2017Updated 9 years ago
- LLVM with SGX support☆13Feb 5, 2018Updated 8 years ago
- First Haskell implementations of Fran/FRP☆34Jan 31, 2019Updated 7 years ago
- Cross Compiling NixOS to ARM as a replacement for Yocto☆147Jan 15, 2020Updated 6 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆34Jul 20, 2021Updated 5 years ago
- A translation validation framework for MLIR☆104Mar 19, 2025Updated last year
- Fork of LLVM with modifications to support a program repository☆27Mar 28, 2022Updated 4 years ago
- llvm crash analysis☆43Jun 26, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- terraform meets nix☆21Jul 25, 2026Updated 3 months ago
- RBE-style remote build execution for Nix (external-builders)☆59Updated this week
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆22Nov 20, 2025Updated 11 months ago
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆30Apr 14, 2020Updated 6 years ago
- A spicy hardware description language with dependent types☆17Sep 25, 2022Updated 4 years ago
- libuargp extracted from uclibc, modified lightly, intl-friendly☆12Jun 11, 2021Updated 5 years ago
- A Nix evaluator written in Rust☆12Feb 9, 2020Updated 6 years ago