☆34Aug 14, 2025Updated 11 months ago
Alternatives and similar repositories for Memory-Safety
Users that are interested in Memory-Safety are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Apr 4, 2024Updated 2 years ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Feb 28, 2023Updated 3 years ago
- A crates.io custom registry API receiver impl & Git backend controller.☆12Nov 13, 2020Updated 5 years ago
- the most complete serialization tree for serde☆16Apr 24, 2024Updated 2 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Jan 10, 2023Updated 3 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.
- A Quine McCluskey solver for minimization of boolean functions☆11Oct 23, 2024Updated last year
- ☆10Jul 24, 2024Updated 2 years ago
- TACOS framework structural details☆20May 12, 2025Updated last year
- A Result type that differentiates between local errors (which can be handled) and fatal errors (which can't)☆22May 25, 2022Updated 4 years ago
- Radamsa written in c ported to Rust☆11May 10, 2023Updated 3 years ago
- John's Rust How-To Book☆13May 15, 2026Updated 2 months ago
- Framework for backtesting quantitative trading strategies, allowing easy data visualisation, performance comparison and analysis.☆10Oct 20, 2024Updated last year
- Generic Range iterators for Rust☆28Jul 7, 2026Updated 2 weeks ago
- a simple programming language under development☆11Dec 3, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Assets for the Typst compiler.☆15Jul 17, 2026Updated last week
- Cyber threat intelligence crates for Rust☆16Jan 22, 2024Updated 2 years ago
- ☆14Jul 23, 2024Updated 2 years ago
- ☆33Oct 7, 2023Updated 2 years ago
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆15Apr 17, 2026Updated 3 months ago
- CLI tool to validate CVE v5 JSON records.☆14Jul 10, 2026Updated 2 weeks ago
- ☆12May 6, 2020Updated 6 years ago
- collab-dev - Collaboration Metrics for Code Reviews☆23May 12, 2025Updated last year
- British Square Engine (Analysis and Perfect AI Player)☆17Nov 4, 2020Updated 5 years ago
- 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.
- Fuzzers implemented with libafl to evaluate several techniques on fuzzbench☆12Oct 10, 2024Updated last year
- Website for The State of FOSS in India report.☆11Aug 20, 2021Updated 4 years ago
- ☆13Jul 8, 2020Updated 6 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆48Oct 9, 2023Updated 2 years ago
- ONNX format parsing and manipulation in C#.☆36Jan 16, 2025Updated last year
- Binary Only Thread Sanitizer☆18Aug 10, 2024Updated last year
- The Berkeley JSIM superconducting spice simulator☆14Sep 20, 2017Updated 8 years ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆35Jul 4, 2017Updated 9 years ago
- A collection of code examples e.g. a buffer overflow + exploit, crypter, shellcodes and more.☆16Apr 5, 2024Updated 2 years 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.
- The PT tracing portion of Barnum.☆11Feb 8, 2019Updated 7 years ago
- Cross-Platform Origin of Content framework☆19Jan 31, 2026Updated 5 months ago
- Manage objects inside a cdn☆20Jul 17, 2026Updated last week
- crawling china stock recommendation from Sina Weibo, create pyecharts for data☆11Jan 26, 2018Updated 8 years ago
- A collection of CyberChef recipes for decoding and decrypting strings in HTML attachments☆10Jul 10, 2024Updated 2 years ago
- Implementation trade-offs in using Intel Pin for instruction tracing of complex programs☆15Oct 16, 2019Updated 6 years ago
- Golang implementation of a checker for determining if an SPDX ID satisfies an SPDX Expression.☆50Updated this week