Finding ownership bugs at scale.
☆90Oct 17, 2026Updated this week
Alternatives and similar repositories for bsan
Users that are interested in bsan are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Convenience wrapper for cargo buildscript input/output☆16Mar 4, 2026Updated 7 months ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆20Sep 11, 2026Updated last month
- Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at…☆27Oct 1, 2026Updated 2 weeks ago
- Cross-platform Rust wrappers for the PCI ID Repository☆12Oct 3, 2025Updated last year
- A 128-bit universal hash function designed for fast file/data stream integrity checks with cryptographic strength, written in Rust.☆77Sep 27, 2026Updated 3 weeks 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.
- Lock-free adaptive radix tree [OSDI '26]☆128Sep 16, 2026Updated last month
- Staged programming for Rust. Write type-safe proc macros and high-level APIs that generate efficient code.☆20Updated this week
- Simple grammar-based test case generator☆48Sep 28, 2026Updated 2 weeks ago
- How fast can we recognize a word from a small pre-determined set?☆87Jan 27, 2025Updated last year
- ☆14Apr 4, 2024Updated 2 years ago
- A fast bump allocator that supports allocation scopes / checkpoints. Aka an arena for values of arbitrary types.☆76Updated this week
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- Library facilitating safe pinned initialization☆90Updated this week
- The never type (the true one!) in stable Rust.☆43Jul 4, 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.
- ☆19Sep 26, 2026Updated 3 weeks ago
- Rust backend bootstrap library☆16Nov 15, 2024Updated last year
- ☆16Jul 1, 2024Updated 2 years ago
- New register allocator designed as a successor to regalloc2☆72Aug 20, 2026Updated last month
- Pluggable critical section☆173Jun 29, 2026Updated 3 months ago
- Link libstdc++ or libc++ automatically or manually☆55Jun 24, 2026Updated 3 months ago
- Cargo file formatter☆39Oct 4, 2026Updated last week
- Embeddable ED in rust☆22Jan 17, 2026Updated 9 months ago
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 4 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.
- find crashes in the rust compiler & related tooling☆88Apr 15, 2024Updated 2 years ago
- Use declarative macros as proc_macro attributes or derives☆160Jul 29, 2026Updated 2 months ago
- Experiments in turning structures into MMIO-safe structures☆25Updated this week
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆54Jun 15, 2026Updated 4 months ago
- Eager evaluation of macros like `concat!` and `env!`☆46Aug 3, 2026Updated 2 months ago
- slightly-revived and hacked fork of the old noah (NOvel Archicture Hypervisor?) project for using linux vendor tools on macos☆19May 9, 2022Updated 4 years ago
- An eBPF virtual machine in the browser☆10May 22, 2023Updated 3 years ago
- DWARF program analysis crate☆24Apr 25, 2024Updated 2 years ago
- Reth rpc api extension to enable block validation☆43Dec 13, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A OCaml generator for well-typed terms (that use their arguments).☆13Feb 22, 2025Updated last year
- A static analysis tool for Rust programs. The guardrail for AI-generated Rust code.☆223Updated this week
- Tools to feature more lenient Polonius-based borrow-checker patterns on stable Rust☆131Aug 25, 2026Updated last month
- Experimental Rust-to-C++ binding generator, using Rust compiler APIs to ensure accurate and stable translation.☆39Mar 5, 2025Updated last year
- A parallel programming model for online applications with complex synchronization requirements.☆17Jun 8, 2022Updated 4 years ago
- Efficient nibble-sized (4-bit) byte sequence data structure☆37Updated this week
- JSON-RPC, simplified, using tower and axum☆80Apr 22, 2026Updated 5 months ago