SeGuRu: safe GPU programming in Rust
☆21Sep 25, 2026Updated last month
Alternatives and similar repositories for seguru
Users that are interested in seguru are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆23Aug 7, 2023Updated 3 years ago
- ☆14Jul 31, 2025Updated last year
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 4 years ago
- A formally verified security module for AMD confidential VMs☆75Sep 25, 2026Updated last month
- ☆16Sep 23, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 3 months ago
- ☆18Jun 30, 2024Updated 2 years ago
- KMIR Rust Library☆11Aug 15, 2026Updated 2 months ago
- Pure Rust implementations of static Diffie-Hellman (and static elliptic-curve DH) key-exchange☆13Jan 12, 2021Updated 5 years ago
- A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.☆10Mar 17, 2023Updated 3 years ago
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆13Oct 15, 2026Updated 2 weeks ago
- A tool to connect SMT-based frontends to Lean4.☆20Oct 21, 2026Updated last week
- TEESec: Pre-Silicon Vulnerability Discovery for Trusted Execution Environments☆12Apr 4, 2024Updated 2 years ago
- Random variate generation library in C☆10Oct 21, 2026Updated last week
- 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.
- Model Checking for Industrial Programmers with TLA+☆19May 22, 2026Updated 5 months ago
- CryptoBAP: Automated Side-Channel Analysis of Cryptographic Protocols Implementations☆14Sep 30, 2026Updated last month
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆19Sep 21, 2026Updated last month
- The Cubicle model checker☆14May 29, 2026Updated 5 months ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 7 years ago
- ☆19Updated this week
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Jun 3, 2016Updated 10 years ago
- MXFP4-compatible 4-bit floating point types and block formats for Rust.☆12Mar 4, 2026Updated 7 months ago
- Metastability analysis☆14May 28, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆56Oct 29, 2023Updated 3 years ago
- Nola: Later-Free Ghost State for Verifying Termination in Iris☆10Aug 2, 2025Updated last year
- AProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software☆20Oct 20, 2026Updated last week
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- ☆13Aug 27, 2026Updated 2 months ago
- Cryptography Library using hardware-accelerated ARM CryptoCell CC310 on nRF52-based Bluefruit☆13Oct 14, 2023Updated 3 years ago
- Practical Tamper-Proof System Auditing☆15Oct 19, 2023Updated 3 years ago
- One skill for your whole stack, and a CLI tool to guide the way.☆14Feb 16, 2026Updated 8 months ago
- Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.☆17Aug 11, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Download specific folders from GitHub repositories without cloning the entire repo.☆10Mar 31, 2026Updated 6 months ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- ☆13Apr 10, 2025Updated last year
- macos bundle and permissions integration for go programs☆15Jun 8, 2026Updated 4 months ago
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆18Jan 5, 2015Updated 11 years ago
- ☆16Aug 12, 2026Updated 2 months ago
- OxiFY is a graph-based LLM workflow orchestration platform built in Rust, designed to compose complex AI applications using directed acyc…☆14Sep 16, 2026Updated last month