☆32Jun 25, 2025Updated 9 months ago
Alternatives and similar repositories for portkit
Users that are interested in portkit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lock ordering enforcement at compile time in Rust☆23Mar 17, 2025Updated last year
- 基于 CUDA Driver API 的 cuda 运行时环境☆16Jul 30, 2025Updated 8 months ago
- Rust bindings to the Halide runtime☆20Apr 11, 2023Updated 3 years ago
- A framework for large scale analysis of the Rust ecosystem.☆36Apr 1, 2026Updated 2 weeks ago
- ☆14Apr 4, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Easily and efficiently extract deeply nested data in Rust☆56Mar 28, 2026Updated 2 weeks ago
- Capability-based verifier for safe Rust clients of interior mutability☆14Jul 18, 2024Updated last year
- Ownership analysis that helps translating C to Rust☆32Nov 25, 2025Updated 4 months ago
- Harden your Rust with specifications.☆89Mar 10, 2026Updated last month
- An LLM-based fuzzing framework for C compilers testing.☆25Dec 14, 2025Updated 4 months ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆14Dec 11, 2024Updated last year
- deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses☆29Nov 28, 2025Updated 4 months ago
- A simple tool that converts MIDI files to QWERTY sheets for playing on your favorite VP platform.☆11Mar 3, 2026Updated last month
- High-performance MCP server, code graph engine & evolutionary algorithm platform in Zig. 33 tools: GitHub project management, agent swarm…☆42Updated this week
- 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.
- 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 2 weeks ago
- A small toy project written in Rust: procedural generation of various kinds of grid-based maps.☆17Aug 15, 2019Updated 6 years ago
- Web based playground for Apache DataFusion via WASM☆20May 18, 2025Updated 10 months ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- ☆14Jul 9, 2023Updated 2 years ago
- Parquet extension☆11Updated this week
- ☆13Jun 3, 2022Updated 3 years ago
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated 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.
- Collections Library for Adapton, in Rust☆14Sep 1, 2017Updated 8 years ago
- Delimited Generators - Minimal Delimited Control for JS☆13May 13, 2024Updated last year
- ☆16Feb 5, 2014Updated 12 years ago
- ☆17Mar 28, 2023Updated 3 years ago
- Convert JPG images to SVG☆17Oct 11, 2021Updated 4 years ago
- ☆44Apr 28, 2020Updated 5 years ago
- An open-source benchmark for evaluating AI agents' ability to find backdoors hidden in compiled binaries.☆83Feb 27, 2026Updated last month
- ☆19Sep 5, 2013Updated 12 years ago
- Tools to use Pocket with Org-mode☆16Sep 3, 2017Updated 8 years ago
- 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.
- Developed and implemented 2D and 3D Pose Graph SLAM using the GTSAM library and Gauss Newton Solver on the Intel and Parking Garage g2o d…☆12May 29, 2023Updated 2 years ago
- Examples of using Diderot☆11Sep 16, 2019Updated 6 years ago
- A python program to convert PDFs to reMarkable Notebooks☆16Jul 3, 2024Updated last year
- ☆62Feb 15, 2023Updated 3 years ago
- ☆14Dec 9, 2022Updated 3 years ago
- Signal handling for rust☆23Aug 10, 2019Updated 6 years ago
- Rust project template with CI-built releases☆12Mar 14, 2020Updated 6 years ago