Big List of ABI Resources
☆61Jul 3, 2024Updated 2 years ago
Alternatives and similar repositories for abis
Users that are interested in abis 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-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆31Apr 30, 2024Updated 2 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆13Aug 29, 2025Updated 10 months ago
- Discovery of Structured Parallelism In Sequential and Parallel Code☆10Feb 13, 2021Updated 5 years ago
- Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.☆14Mar 14, 2019Updated 7 years ago
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated last year
- 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.
- ☆17Apr 18, 2019Updated 7 years ago
- My personal dot files☆10Sep 13, 2022Updated 3 years ago
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated 9 months ago
- ☆18May 10, 2022Updated 4 years ago
- Fork of LLVM with modifications to support a program repository☆27Mar 28, 2022Updated 4 years ago
- Mark Volkmann's blog using 11ty☆12Jun 11, 2026Updated 3 weeks ago
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated 2 years ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆22Dec 5, 2025Updated 6 months ago
- A command line interface that converts between JSON and MessagePack☆19Mar 13, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- simple RISC-V 64bit emulator, which can boot linux kernel.☆12Oct 16, 2023Updated 2 years ago
- Code for the ICCV 2017 paper "Introspective Neural Networks for Generative Modeling"☆11Oct 24, 2017Updated 8 years ago
- Overhead benchmarks for the perf_event subsystem☆14Feb 3, 2015Updated 11 years ago
- Package manager for Idris☆38Jul 21, 2022Updated 3 years ago
- A POSIX compliant C library for Windows☆60Oct 29, 2025Updated 8 months ago
- Benchmarks for capture-avoiding substitution☆125May 30, 2025Updated last year
- Stable sort algorithms and their stability proofs in Rocq☆25Dec 10, 2025Updated 6 months ago
- KeyBox is a web-based SSH console that centrally manages administrative access to systems. Web-based administration is combined with mana…☆12Feb 17, 2017Updated 9 years ago
- 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.
- Dot Net Anywhere evolved☆12Sep 11, 2017Updated 8 years ago
- A collection of projects for students on Virgil, Wizard, or WebAssembly☆17Feb 5, 2026Updated 4 months ago
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆20Jul 8, 2019Updated 6 years ago
- Versions of the "Computer Language Benchmarks Game" benchmarks for the Janet language.☆15Apr 4, 2022Updated 4 years ago
- A Federalist template that uses the U.S. Web Design Standards Jekyll theme☆11Jul 15, 2019Updated 6 years ago
- Materials for a 'Python for Science' bootcamp workshop.☆13Sep 23, 2018Updated 7 years ago
- ☆11Nov 5, 2015Updated 10 years ago
- Powerful and easy static site generator with admin interface.☆13Feb 22, 2016Updated 10 years ago
- Collection of small Lua modules☆10Feb 15, 2026Updated 4 months 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.
- boilr template for creating Drone plugins☆12Jun 17, 2025Updated last year
- Hanoi tower in Coq☆26Jan 29, 2026Updated 5 months ago
- My collection of various Jupyter notebooks and useful command line scripts for analyzing performance of services and code.☆14Sep 24, 2023Updated 2 years ago
- Demonstrates Development Environment as Code using Dagger.io, Tilt and Docker Desktop☆16Dec 11, 2023Updated 2 years ago
- Helpful CMake modules - 3.0+☆12May 16, 2017Updated 9 years ago
- SyPhon: Constraint-based Learning of Phonological Rules☆11Mar 5, 2025Updated last year
- PyTerraBackTYL is a generic Terraform HTTP backend for managing your Terraform lock states, and terraform.tfstate file. Allows for additi…☆20Oct 12, 2025Updated 8 months ago