Automatic Python —> Rust FFI bindings
☆19Nov 24, 2025Updated 6 months ago
Alternatives and similar repositories for pyo3_bindgen
Users that are interested in pyo3_bindgen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fast new algorithms for finding the medians, implemented in Rust☆15Jun 14, 2024Updated 2 years ago
- AI-assisted verification of Dafny Programs☆20Nov 9, 2025Updated 7 months ago
- A lightweight tool to explore your backtesting results with TradingView chart. Upload CSVs, inspect trades, and debug strategies.☆31Mar 8, 2026Updated 3 months ago
- Convenience rust crate for handling ISO 3661-1☆21Feb 24, 2026Updated 3 months ago
- Tuxedo Control Center Derivation and Module for NixOS☆26Feb 22, 2026Updated 3 months ago
- 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 Rust driver for interfacing with the Adafruit DC & Stepper Motor HAT.☆13Mar 31, 2026Updated 2 months ago
- Fork of rust concurrent hash map bencmarks to include leapfrog map.☆14Mar 13, 2022Updated 4 years ago
- Bad Apple but it's an SVG using SMIL☆14Aug 30, 2023Updated 2 years ago
- Sequence-Transform is a user library for QMK that enables a rich declarative ruleset for transforming a sequence of keypresses into any o…☆10Jan 27, 2026Updated 4 months ago
- ☆12Jul 1, 2017Updated 8 years ago
- An offline Rust thesaurus library.☆12Aug 13, 2022Updated 3 years ago
- LSST data management: instrument signature removal (detrending) for astronomical images☆10Updated this week
- A Rust implementation of the Lean kernel☆11Jan 2, 2023Updated 3 years ago
- One pointer wide trait objects which are also FFI safe, allowing traits to be passed to/from and implemented by C ABI code.☆44Feb 5, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- regexes for trees; grep for s-exprs☆18Jun 10, 2024Updated 2 years ago
- GPT: Rust Assistant. Your go-to expert in the Rust ecosystem, specializing in precise code interpretation, up-to-date crate version check…☆19Mar 4, 2025Updated last year
- 如何做技术演讲(how to give a talk)的slide☆22Feb 8, 2021Updated 5 years ago
- Generic Async Semaphore☆21Updated this week
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆17Mar 26, 2026Updated 2 months ago
- A drop in replacement for serde_json where detailed errors are the default☆13Jun 14, 2025Updated last year
- A tool for drawing derivation trees of Tau Prolog☆11Feb 23, 2022Updated 4 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- Check your grade automatically and send e-mail when new grade comes☆12Feb 7, 2018Updated 8 years 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.
- The UNofficial Rust SDK for Model Context Protocol servers and clients☆18Nov 28, 2024Updated last year
- (early experiments toward) a version-control system for structured data☆19Jul 23, 2023Updated 2 years ago
- ☆14Apr 4, 2023Updated 3 years ago
- Function annotations for Hylang!☆11Nov 12, 2014Updated 11 years ago
- CV template written in typst.☆12Mar 11, 2026Updated 3 months ago
- Render MuJoCo scenes in bevy☆27Oct 7, 2025Updated 8 months ago
- ☆14Jul 26, 2024Updated last year
- ☆11Apr 3, 2023Updated 3 years ago
- Tauri plugin to load and interact with most LLMs☆44Feb 20, 2026Updated 3 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.
- ☆26Jul 7, 2024Updated last year
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆16Feb 22, 2023Updated 3 years ago
- A simple script to plot the Roofline model for given HW platforms and applications☆10Mar 17, 2026Updated 2 months ago
- General neural tactic for Lean 4☆29Updated this week
- Hasgo, but with actual generics☆12May 1, 2022Updated 4 years ago
- Rust implementation of glass: ordered set data structure for client-side order books☆26Feb 26, 2026Updated 3 months ago
- 🍎 Play Bad Apple!! in Terminal [Rust Version] Cross-Term, Binary-Compress, 128*48 & 24 FPS.☆12Feb 4, 2026Updated 4 months ago