Experimental Rust-to-C++ binding generator, using Rust compiler APIs to ensure accurate and stable translation.
☆39Mar 5, 2025Updated last year
Alternatives and similar repositories for seabridge
Users that are interested in seabridge are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- https://crates.io/crates/undname☆19Oct 7, 2024Updated last year
- We have Crater At Home☆38Oct 26, 2024Updated last year
- A C++/Rust interop tool☆431Apr 10, 2026Updated last week
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆14Dec 11, 2024Updated last year
- A reasonable theorem prover for your reasoning tasks!☆31Jan 27, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A study of undefined behavior across foreign function boundaries in Rust libraries.☆11Feb 13, 2025Updated last year
- Tag the safety properties of the Rust standard library.☆19Mar 28, 2026Updated 3 weeks ago
- A prototype notation for referentially stable constructors☆17Jul 15, 2025Updated 9 months ago
- GPU based FFT written in Rust and CubeCL☆32Feb 23, 2026Updated last month
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- A rust implementation of https://github.com/runevision/LayerProcGen☆28Jul 29, 2025Updated 8 months ago
- A cargo subcommand to bundle a Rust project into a single file ✨☆18Jan 15, 2025Updated last year
- Living hell☆57Feb 21, 2025Updated last year
- Tensor library for machine learning☆26Apr 12, 2026Updated last week
- 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.
- Lock ordering enforcement at compile time in Rust☆23Mar 17, 2025Updated last year
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- SPIR-🇹: shader-focused IR to target, transform and translate from 🦀☆30Mar 30, 2026Updated 2 weeks ago
- Full precision decimal representation of f64☆28Feb 16, 2026Updated 2 months ago
- Finding ownership bugs at scale.☆36Updated this week
- A tool to generate ergonomic, buffer-based C++ APIs.☆49Updated this week
- ☆13Aug 29, 2022Updated 3 years ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆55Feb 27, 2026Updated last month
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Sep 14, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- std::iter feature complete(-ish) lending iterator for Rustlang☆20Mar 16, 2026Updated last month
- Dependency Analysis Project - tools to discover implicit dependencies in source code and on systems☆18Mar 3, 2026Updated last month
- Hybrid typenum/const generic arrays☆20Apr 6, 2026Updated last week
- micro lua☆22Apr 7, 2026Updated last week
- Documentation of Rust error handling☆48Apr 25, 2023Updated 2 years ago
- A Rust Linter with Decoupled Rule Definition and Detection Logic.☆17Mar 30, 2026Updated 2 weeks ago
- Mirror of Rust's allocator api for use on stable rust☆80Dec 11, 2025Updated 4 months ago
- A camera RAW photo preprocessor and importer☆10Mar 2, 2026Updated last month
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Rust macros for bug wrangling.☆13Sep 3, 2023Updated 2 years ago
- A curated collection of Rust projects related to neural networks, designed to complement "Are We Learning Yet."☆70Dec 23, 2025Updated 3 months ago
- A toolkit for volumetric video research☆15Jun 4, 2024Updated last year
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆31Jun 14, 2025Updated 10 months ago
- MCSema Build Windows download☆11Jul 6, 2020Updated 5 years ago
- A Rust crate that implements "design by contract" via procedural macros☆31Updated this week
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated 3 months ago