☆35Aug 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:
- Rust implementation of OmniBOR, reproducible identifiers & fine-grained build dependency tracking for software artifacts.☆30Jul 29, 2025Updated last year
- A collection of resources to improve insight into your organization's open source contribution☆21Nov 27, 2024Updated last year
- ☆18Apr 15, 2026Updated 3 months ago
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Feb 28, 2023Updated 3 years ago
- AES Galois Extended Mode☆25Feb 9, 2026Updated 6 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A place to improve your RFC writing skills and collaborate on writing RFCs☆10Dec 1, 2016Updated 9 years ago
- A crates.io custom registry API receiver impl & Git backend controller.☆12Nov 13, 2020Updated 5 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Teaching Rust, sharing patterns, and exploring real-world code.☆14Mar 13, 2026Updated 5 months 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
- 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
- Assets for the Typst compiler.☆16Jul 17, 2026Updated 3 weeks ago
- ☆12May 6, 2020Updated 6 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.
- BinjaryNinja plugin for a ShellStorm like assembly/disassembly experience☆17Jul 28, 2026Updated 2 weeks ago
- collab-dev - Collaboration Metrics for Code Reviews☆23May 12, 2025Updated last year
- Fuzzers implemented with libafl to evaluate several techniques on fuzzbench☆12Oct 10, 2024Updated last year
- ☆13Jul 8, 2020Updated 6 years ago
- ☆14Sep 26, 2021Updated 4 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
- Binary Only Thread Sanitizer☆18Aug 10, 2024Updated 2 years ago
- A collection of code examples e.g. a buffer overflow + exploit, crypter, shellcodes and more.☆16Apr 5, 2024Updated 2 years ago
- The PT tracing portion of Barnum.☆11Feb 8, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- System for verifying the correctness of generated Copilot programs☆19May 8, 2025Updated last year
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Sep 12, 2018Updated 7 years ago
- Anderson points-to analysis implementation based on LLVM☆12Jan 3, 2021Updated 5 years ago
- 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
- Data analityics and dashboards about your perfomance inside neovim?☆13May 22, 2024Updated 2 years ago
- Golang implementation of a checker for determining if an SPDX ID satisfies an SPDX Expression.☆52Jul 20, 2026Updated 3 weeks ago
- Compiler for a simplified version of Rust developed in OCaml under Jean Christophe Filliatre Supervision (https://www.lri.fr/~filliatr/in…☆13Aug 8, 2020Updated 6 years ago
- Eselsohr is a self-hostable bookmark manager for storing web articles.☆10Jun 4, 2026Updated 2 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.
- ☆14Dec 10, 2021Updated 4 years ago
- MIPS32 emulation fuzzing☆13Nov 17, 2020Updated 5 years ago
- Tools to enumerate and find Bluetooth Adapters☆14Updated this week
- ☆14Apr 27, 2020Updated 6 years ago
- Fancy upgrade to console.log☆27May 30, 2026Updated 2 months ago
- 广积粮☆15Apr 9, 2022Updated 4 years ago
- Repo contains code for our DerbyCon 2016 talk comparing Binary Ninja and IDA Pro.☆10Sep 18, 2016Updated 9 years ago