Security static analyzer for Rust code
☆24Mar 13, 2026Updated 7 months ago
Alternatives and similar repositories for Rust-cola
Users that are interested in Rust-cola are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The pre-emptive time slicing scheduler, for Rust☆11Apr 3, 2026Updated 6 months ago
- Compile-time capability-based security for Rust☆16Jul 28, 2026Updated 3 months ago
- Home of the Rust Special Interest Group (SIG) at the Eclipse Foundation.☆12Oct 12, 2026Updated 2 weeks ago
- High-performance Machine Learning, Dynamic Auto-Differentiation and Tensor Algebra crate for Rust☆18Jun 8, 2025Updated last year
- Sources of the tusistor TUI app and the rusistor lib.☆14Oct 14, 2026Updated 2 weeks 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.
- 基于 CUDA Driver API 的 cuda 运行时环境☆16Jul 30, 2025Updated last year
- ☆30Jun 25, 2025Updated last year
- Making the Model-Kernel Interface Explicit for Reliable CUDA Kernel Verification☆19Aug 26, 2026Updated 2 months ago
- Bridge Autoware and Carla with Zenoh☆20Jun 9, 2026Updated 4 months ago
- ☆22Updated this week
- deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses☆41Aug 22, 2026Updated 2 months ago
- uProtocol Language Specific Library for Rust☆26Updated this week
- ☆38Mar 28, 2024Updated 2 years ago
- mile engine rust+wgpu 一个重度使用GPU并行计算的引擎☆45Aug 25, 2026Updated 2 months ago
- 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.
- ☆23Dec 7, 2025Updated 10 months ago
- Easily and efficiently extract deeply nested data in Rust☆59Mar 28, 2026Updated 7 months ago
- ratatui markdown editor☆38Mar 8, 2026Updated 7 months ago
- ☆80Updated this week
- Improve the experience of working with Rust's Error trait☆31Feb 18, 2026Updated 8 months ago
- A curated list of awesome Rust checkers☆68Aug 22, 2026Updated 2 months ago
- uProtocol Specifications☆43Updated this week
- Proc-macro to write an automatic fix for the "hidden lifetime in impl Trait" issue☆11Nov 22, 2024Updated last year
- Discrete Event Simulator for Rust Implementations☆22Feb 17, 2026Updated 8 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.
- 🐛 A TUI for reviewing via github☆66Updated this week
- Operation-bound protection for autonomous AI agents: contain and verify operations before committing changes, understand intent and risk …☆125Sep 7, 2026Updated last month
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆75Updated this week
- Repository for the communication module LoLa☆63Updated this week
- UB-free and deterministic rustc fuzzer☆108Dec 21, 2025Updated 10 months ago
- Ultrafast PyTorch-like AI Framework Written from Ground-Up in Rust☆104Mar 18, 2026Updated 7 months ago
- A quick-and-dirty attempt to get scoped tasks in Rust.☆14Jun 4, 2023Updated 3 years ago
- [DEPRECATED] Cargo subcommand for running cargo without dev-dependencies.☆17Sep 4, 2026Updated last month
- RustConf 2025 Persentation☆13Aug 25, 2025Updated last year
- 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.
- Talk for PPL2023☆12Mar 6, 2023Updated 3 years ago
- An easy-to-use, incremental, multi-threaded garbage collector for Rust☆12Aug 11, 2024Updated 2 years ago
- Cross-platform abstractions for GPU compute☆60Oct 10, 2026Updated 2 weeks ago
- ☆13Aug 24, 2026Updated 2 months ago
- Write XMP metadata☆11Aug 7, 2026Updated 2 months ago
- High-performance wait-free memory reclamation for wait-free data structures (ASMR). Bounded memory usage, predictable latency.☆124Updated this week
- Enforce Rust documentation correctness☆14Dec 1, 2022Updated 3 years ago