Big List of ABI Resources
☆58Jul 3, 2024Updated last year
Alternatives and similar repositories for abis
Users that are interested in abis are comparing it to the libraries listed below
Sorting:
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆31Apr 30, 2024Updated last year
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.☆14Mar 14, 2019Updated 6 years ago
- Interprocedural Basic Block Code Layout Optimization☆18Jan 17, 2019Updated 7 years ago
- ☆17Apr 18, 2019Updated 6 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- ☆21Feb 26, 2019Updated 7 years ago
- Template repository for a CG proposal or work item.☆17Aug 30, 2024Updated last year
- Fork of LLVM with modifications to support a program repository☆25Mar 28, 2022Updated 3 years ago
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- Automatic Binary Parallelisation☆43Feb 28, 2025Updated last year
- Community edition of Nightfall_4☆16Updated this week
- SIGPLAN website☆13Feb 23, 2026Updated last week
- Attribute-based Encryption Schemes☆10Nov 16, 2021Updated 4 years ago
- Concept Application Server☆12Feb 22, 2026Updated last week
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 10 years ago
- A Rust-based, bare-metal kernel implementing zero-trust execution, cryptographic self-measurement and capability-enforced isolation for N…☆38Feb 23, 2026Updated last week
- Multiplatform encrypted note-taking app with block-style editor☆16Sep 3, 2025Updated 6 months ago
- Consensus Complementarity Control☆14Updated this week
- Tools for generating 3D maps from GNSS data☆10Apr 23, 2024Updated last year
- This repository contains numerous small utility packages. These packages serve various useful purposes and are written in nano ESModule w…☆10Feb 18, 2026Updated 2 weeks ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- Exports Apple Notes into Markdown using Rust and AppleScript☆14Mar 18, 2025Updated 11 months ago
- WARNING: this requires a 32 bit build of node on osx! (tested only on osx)☆14Oct 24, 2011Updated 14 years ago
- CERE: Codelet Extractor and REplayer☆40Sep 27, 2023Updated 2 years ago
- ☆15Dec 15, 2022Updated 3 years ago
- An erc-20 token with EIP750 style zk private transactions and a new nullifier scheme to allow partial spends☆11Apr 11, 2025Updated 10 months ago
- Rust utilities for the ethereum attestation service.☆14Apr 6, 2024Updated last year
- Circuit for generating ethereum account RLP☆10Apr 6, 2025Updated 10 months ago
- Syntactic sugars for C++ developers to write Go-like code☆10Jul 30, 2022Updated 3 years ago
- Homemade Mica material, only use Direct2D technology.☆14Jul 28, 2022Updated 3 years ago
- A command line tool for creating, managing and distributing issued currencies and NFT's on the XRPL.☆12Dec 22, 2023Updated 2 years ago
- Automatically exported from code.google.com/p/synchronic☆11Nov 8, 2016Updated 9 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- ☆11Oct 26, 2020Updated 5 years ago
- Sources of the tusistor TUI app and the rusistor lib.☆14Dec 29, 2025Updated 2 months ago
- Hybrid Federate Learning Framework for Financial Crime Detection☆13Mar 22, 2024Updated last year
- A framework to make C memory safe☆13Sep 20, 2022Updated 3 years ago