SeGuRu: safe GPU programming in Rust
☆19Jul 8, 2026Updated last week
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 2 years ago
- A formally verified security module for AMD confidential VMs☆67Jun 15, 2026Updated last month
- Getting Started with the Core Slicing Prototype☆14Jun 25, 2026Updated 3 weeks ago
- ☆16Apr 20, 2026Updated 3 months ago
- ☆18Jun 30, 2024Updated 2 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.
- This is the replacement for the Java-based Host Identity Protocol implementation.☆12Jun 27, 2026Updated 3 weeks ago
- Pure Rust implementations of static Diffie-Hellman (and static elliptic-curve DH) key-exchange☆13Jan 12, 2021Updated 5 years ago
- The Cubicle model checker☆14May 29, 2026Updated last month
- The jsii sample code transliterator☆29Updated this week
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆18Updated this week
- An Ethereum validator crawler☆16Jan 14, 2026Updated 6 months ago
- LiteX-based PCIe MITM, sniffing, fuzzing, device emulation☆20Feb 9, 2022Updated 4 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- Formal Verification for JavaScript Regular Expressions☆15Jul 8, 2026Updated last week
- 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.
- Solidity based prover for AWS Nitro enclave attestations☆25Dec 13, 2024Updated last year
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.☆14Aug 11, 2025Updated 11 months ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Jun 3, 2016Updated 10 years ago
- Hierarchical-deterministic wallets library for Symbol☆11Jan 31, 2024Updated 2 years ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- ☆13Apr 10, 2025Updated last year
- Topochecker, a topological model checker☆22Nov 19, 2019Updated 6 years ago
- A first-order concurrent automated theorem prover☆25Mar 25, 2026Updated 3 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.
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆18Jan 5, 2015Updated 11 years ago
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 6 years ago
- ☆15Updated this week
- Practical Tamper-Proof System Auditing☆15Oct 19, 2023Updated 2 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- ☆31Jul 10, 2026Updated last week
- Parallel LiDAR Point Cloud Preprocessing for Autonomous Driving Applications☆10Apr 2, 2024Updated 2 years ago
- A repository that publishes more lightweight LLVM releases (mirroring official releases)☆15Updated this week
- 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.
- Foundry EVM Standalone☆24Nov 4, 2023Updated 2 years ago
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆19Aug 8, 2024Updated last year
- Useful generic types for Go☆25Updated this week
- MLIR Rust multi-level compiler framework☆21May 8, 2023Updated 3 years ago
- Provides filesystem access for the Rhai scripting language.☆16Jun 10, 2026Updated last month
- ☆19Apr 22, 2026Updated 2 months ago
- An 8 week introductory course to Data Science☆15Apr 7, 2020Updated 6 years ago