ALLVM Tools
☆57Mar 23, 2022Updated 3 years ago
Alternatives and similar repositories for allvm-tools
Users that are interested in allvm-tools are comparing it to the libraries listed below
Sorting:
- Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.☆25Feb 6, 2021Updated 5 years ago
- NixOS install image for rock64☆22Jun 17, 2020Updated 5 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆16May 27, 2022Updated 3 years ago
- A tool that generates a Nix derivation from a Ninja build file.☆25May 2, 2025Updated 10 months ago
- Startle C Library☆18Jan 28, 2019Updated 7 years ago
- Linux fork of FreeBSD crunch☆17Jan 30, 2012Updated 14 years ago
- Now I shall sing the second kingdom there where the soul of man is cleansed, made worthy to ascend to Heaven.☆12Dec 15, 2025Updated 2 months ago
- A lisp interpreter☆13Oct 1, 2020Updated 5 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- A web-based pedagogical tool for exploring data structures.☆48May 14, 2017Updated 8 years ago
- Emacs minor mode for entering unicode math symbols☆11Dec 10, 2023Updated 2 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Sep 12, 2018Updated 7 years ago
- KORE to llvm translation☆42Oct 15, 2025Updated 4 months ago
- A simple VM to play with OSR in LLVM☆15Jun 11, 2017Updated 8 years ago
- An ssh server that creates new users on-the-fly, great for letting users participate in a demo☆19Dec 18, 2023Updated 2 years ago
- Tools to create channels from hydra jobsets☆38Feb 6, 2026Updated 3 weeks ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- This repo was the first place where we ever talked about flakes. Since then, the activity has now moved to upstream @NixOS/nix.☆13Nov 24, 2018Updated 7 years ago
- Simple tools for analyze memory usage of Linux processes☆18Nov 7, 2021Updated 4 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated last year
- Hardware design for the computer formerly known as The Monotron☆18May 1, 2021Updated 4 years ago
- ☆16May 20, 2019Updated 6 years ago
- Interprocedural Basic Block Code Layout Optimization☆18Jan 17, 2019Updated 7 years ago
- CaPI: Compiler-assisted Performance Instrumentation☆18Updated this week
- terraform meets nix☆21Sep 7, 2025Updated 5 months ago
- Program synthesis tools and utilities for LLVM.☆20Jul 6, 2023Updated 2 years ago
- CoreMark 1.0 ported to WebAssembly☆44Apr 2, 2021Updated 4 years ago
- Cross Compiling NixOS to ARM as a replacement for Yocto☆147Jan 15, 2020Updated 6 years ago
- ☆22Apr 27, 2023Updated 2 years ago
- ☆17Apr 18, 2019Updated 6 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- Run programs defined in nix expressions☆51Jan 31, 2017Updated 9 years ago
- Aszlig's Very Opinionated Nextcloud Configuration☆19Apr 25, 2022Updated 3 years ago
- IDAPython compatibility library. idasix aims to create a smooth ida development process and allow a single codebase to function with mult…☆25Aug 2, 2018Updated 7 years ago
- A wrapper that enables TLS support (TLS 1.2 with AES 128 GCM) for existing applications without code change.☆25Jan 6, 2020Updated 6 years ago
- Automatic regression verification for LLVM programs☆19Jul 16, 2021Updated 4 years ago
- Breathing new live in Helios, an OS from the 90's☆97Dec 6, 2021Updated 4 years ago
- Nix Flakes with a modified frontend, by dramforever☆84Jan 20, 2026Updated last month
- An Extensible Dynamic Analysis Framework for IoT Devices☆21Aug 9, 2018Updated 7 years ago