This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
☆11May 13, 2025Updated 9 months ago
Alternatives and similar repositories for kani-github-action
Users that are interested in kani-github-action are comparing it to the libraries listed below
Sorting:
- Cheating a little to solve the halting problem at scale☆32Nov 17, 2025Updated 3 months ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Jan 5, 2026Updated last month
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- Prima JWKS-sync client implementation for Auth0☆10Feb 18, 2026Updated last week
- A gym game for Contra that for reinforcement learning☆10Oct 18, 2021Updated 4 years ago
- Distributed lock backed by Dynamodb☆11Dec 7, 2023Updated 2 years ago
- Iran Supreme Council of Information and Communication Technology (SCICT) standard Persian fonts☆13Feb 29, 2020Updated 6 years ago
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated 11 months ago
- Attentional Mechanism incorporated in Asynchronous Advantage Actor Critic a3c/a2c deep mind☆10Jan 9, 2018Updated 8 years ago
- Japanese Translation of Monads are Elephants☆11Oct 19, 2011Updated 14 years ago
- ☆12Jun 5, 2023Updated 2 years ago
- Reproducible hardened Linux images for confidential computing and safe MEV☆16Updated this week
- The Reconfigurable Solver for QP☆10Apr 19, 2023Updated 2 years ago
- CORE-V eXtension Interface compliant RISC-V [F|Zfinx] Coprocessor☆13Nov 12, 2025Updated 3 months ago
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆12Dec 22, 2023Updated 2 years ago
- ☆15Jun 30, 2025Updated 8 months ago
- ☆12Mar 6, 2020Updated 5 years ago
- contract-deployer repository☆16Jan 8, 2026Updated last month
- ☆10Dec 11, 2022Updated 3 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- Empowering everyone to build reliable and efficient software.☆12Oct 1, 2025Updated 4 months ago
- Boilerplate code for developing plugins for the TLSNotary browser extension using Extism☆11Aug 27, 2025Updated 6 months ago
- asynchronous deduplicator with optional LRU caching☆12Feb 8, 2026Updated 2 weeks ago
- 🦀 Parses HTTP headers to correctly compute cacheability of responses. Direct port of https://github.com/kornelski/http-cache-semantics☆54Feb 4, 2026Updated 3 weeks ago
- Control a spacecraft using a 6502! Built with godot, rust, wasm and svelte.☆19Sep 13, 2025Updated 5 months ago
- ☆10May 11, 2023Updated 2 years ago
- Serde support for Hyper types☆17Nov 16, 2023Updated 2 years ago
- Decentralised Privacy-Preserving Contact Discovery☆18Jul 4, 2023Updated 2 years ago
- Drivers for Seeed Studio's eRPC-based wifi protocol☆12Jun 28, 2025Updated 7 months ago
- ☆11Sep 8, 2022Updated 3 years ago
- Compatibility features to run the code in SICP with Gauche☆11Jun 29, 2024Updated last year
- Heterogeneous Cluster Interconnect to bind special-purpose HW accelerators with general-purpose cluster cores☆14Updated this week
- Signed distance field library usable on both CPU and GPU.☆15Feb 17, 2026Updated last week
- purerl bindings to basic Erlang process functionality☆13Aug 31, 2022Updated 3 years ago
- Chisel Fixed-Point Arithmetic Library☆18Dec 15, 2025Updated 2 months ago
- A Confidential Computing-Aware Certificate Authority☆11Nov 22, 2025Updated 3 months ago
- ZkMarek is an educational project created by ethmarek, as an exercise to learn cryptography, with focus on understanding Plonk.☆15Jul 2, 2025Updated 7 months ago
- Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.☆14Aug 18, 2025Updated 6 months ago
- Image Proxy for use with Wallets☆13Mar 14, 2024Updated last year