SeGuRu: safe GPU programming in Rust
☆19Jul 8, 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:
- Getting Started with the Core Slicing Prototype☆14Jun 25, 2026Updated last month
- A formally verified security module for AMD confidential VMs☆69Updated this week
- ☆16Updated this week
- ☆18Jun 30, 2024Updated 2 years ago
- (Keep It) Simple Stupid Database☆10Jul 16, 2017Updated 9 years 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 replacement for the Java-based Host Identity Protocol implementation.☆12Jun 27, 2026Updated last month
- Pure Rust implementations of static Diffie-Hellman (and static elliptic-curve DH) key-exchange☆13Jan 12, 2021Updated 5 years ago
- Swagger extension to support the HAL JSON formatting☆11Apr 5, 2022Updated 4 years ago
- The Cubicle model checker☆14May 29, 2026Updated 2 months 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 month
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Jun 3, 2016Updated 10 years ago
- Cryptography Library using hardware-accelerated ARM CryptoCell CC310 on nRF52-based Bluefruit☆13Oct 14, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Hierarchical-deterministic wallets library for Symbol☆11Jan 31, 2024Updated 2 years ago
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- Topochecker, a topological model checker☆22Nov 19, 2019Updated 6 years ago
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆18Jan 5, 2015Updated 11 years ago
- Property-based testing for Java, built on Hypothesis☆18Jul 31, 2026Updated last week
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 6 years ago
- ☆16Jul 18, 2026Updated 3 weeks ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years 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.
- The jsii sample code transliterator☆29Updated this week
- Byzantine model checker☆21Mar 7, 2023Updated 3 years ago
- A repository that publishes more lightweight LLVM releases (mirroring official releases)☆15Jul 19, 2026Updated 3 weeks ago
- ☆32Jul 10, 2026Updated last month
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆19Aug 8, 2024Updated 2 years ago
- ☆22Jun 25, 2026Updated last month
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Jul 18, 2026Updated 3 weeks ago
- ☆19Apr 22, 2026Updated 3 months ago
- LiteX-based PCIe MITM, sniffing, fuzzing, device emulation☆20Feb 9, 2022Updated 4 years 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.
- ☆11May 19, 2022Updated 4 years ago
- An 8 week introductory course to Data Science☆15Apr 7, 2020Updated 6 years ago
- Term project for TaPL. A mini coq-like proof assistant.☆17Jun 17, 2018Updated 8 years ago
- Artifact for the OSDI'2025 paper☆16Aug 3, 2026Updated last week
- This repository provides tutorial, which discusses running sample publisher and subscriber using multiple transports of point_cloud_trans…☆11Jul 31, 2026Updated last week
- Hermetic CUDA Toolkit using Bazel☆16Jul 29, 2026Updated last week
- Linear Temporal Logic☆22Jan 9, 2024Updated 2 years ago