Crellvm: Verified Credible Compilation for LLVM
☆18Jun 26, 2018Updated 8 years ago
Alternatives and similar repositories for crellvm
Users that are interested in crellvm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Aug 3, 2025Updated last year
- New MLIR dialect, attributes, and transformations for generating host driver code for AXI-based linalg accelerators.☆11Jan 8, 2024Updated 2 years ago
- ☆19Jul 26, 2024Updated 2 years ago
- KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls☆13Jul 28, 2026Updated 3 months ago
- Line editor and Cisco-style command tree☆13May 16, 2022Updated 4 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.
- Platform Certificate Validation Tool - TPM 2.0☆11Dec 9, 2018Updated 7 years ago
- ☆13Jun 29, 2014Updated 12 years ago
- ☆12Mar 8, 2025Updated last year
- TAIDL: Tensor Accelerator ISA Definition Language☆25Oct 20, 2026Updated last week
- Wind River Linux Setup -- Distribution Build Project Assembler☆12Oct 2, 2019Updated 7 years ago
- Automatic ROP chain generator☆12Mar 29, 2015Updated 11 years ago
- isla coq infrastructure☆23Mar 11, 2025Updated last year
- Infect to Protect☆15Nov 6, 2018Updated 7 years ago
- GoTEE - example application☆17Oct 9, 2026Updated 2 weeks 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.
- An automatic, safe, and concurrent garbage collector for Rust☆19Jul 19, 2026Updated 3 months ago
- Time based theme switching for the alacritty terminal☆12Feb 9, 2022Updated 4 years ago
- The Vellvm (Verified LLVM) coq development.☆502Updated this week
- Tiny implmentation of ORM on top of Arel☆12Sep 20, 2014Updated 12 years ago
- P4Runtime Controller Library☆13Oct 14, 2026Updated 2 weeks ago
- Telco pIPeline benchmarking SYstem☆18Oct 22, 2026Updated last week
- ☆16Mar 17, 2026Updated 7 months ago
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆24Jul 7, 2023Updated 3 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.
- Python library for interfacing with TPMs☆12Feb 12, 2017Updated 9 years ago
- Formal Semantics of P4 in K☆20May 21, 2021Updated 5 years ago
- Tool to symbolically execute eBPF programs☆19Mar 5, 2024Updated 2 years ago
- sudo for compiler bug demo☆13Apr 30, 2015Updated 11 years ago
- Utility API for querying GMail asynchronously☆12May 11, 2012Updated 14 years ago
- Yet another Linux distro for RISC-V.☆14Dec 25, 2025Updated 10 months ago
- Rust native library for TPM 2.0 operations. Heavily work in progress.☆13Dec 5, 2022Updated 3 years ago
- Artifact for 'Register Optimizations for Stencils on GPUs'☆10Sep 18, 2018Updated 8 years ago
- ☆15Apr 12, 2022Updated 4 years 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.
- ☆14Oct 11, 2017Updated 9 years ago
- Design documents for distributed DBSP☆11Oct 23, 2025Updated last year
- Wasm SpecTec specification tools☆118Updated this week
- XSLT stylesheets to clean, fix up and cast XML namespaces☆11Nov 16, 2012Updated 13 years ago
- Finding bugs in P4 compilers using translation validation.☆40Oct 19, 2026Updated last week
- ☆16May 14, 2026Updated 5 months ago
- Top-level repository of ACT Ecosystem☆36Oct 20, 2026Updated last week