☆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 运行时环境☆15Jul 30, 2025Updated 7 months ago
- ☆14Apr 4, 2024Updated last year
- Official Implementation of "Visual-ERM: Reward Modeling for Visual Equivalence"☆50Updated this week
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 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 and start building anything your business needs.
- Ownership analysis that helps translating C to Rust☆32Nov 25, 2025Updated 4 months ago
- Harden your Rust with specifications.☆84Mar 10, 2026Updated 2 weeks ago
- An LLM-based fuzzing framework for C compilers testing.☆25Dec 14, 2025Updated 3 months ago
- Graph model execution API for Candle☆17Jul 27, 2025Updated 8 months ago
- A simple tool that converts MIDI files to QWERTY sheets for playing on your favorite VP platform.☆11Mar 3, 2026Updated 3 weeks ago
- Bug Report driven Program Repair☆17Feb 15, 2020Updated 6 years ago
- A fully automated Rust fuzz driver generator☆62Jun 17, 2025Updated 9 months ago
- A Rust compiler backend focused on compilation speed.☆16Sep 8, 2022Updated 3 years ago
- ☆14Mar 13, 2026Updated last week
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A curated collection of Rust projects related to neural networks, designed to complement "Are We Learning Yet."☆70Dec 23, 2025Updated 3 months ago
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- ☆13Jun 3, 2022Updated 3 years ago
- A raytracer written in rust☆13Sep 30, 2023Updated 2 years ago
- ☆15Jul 23, 2021Updated 4 years ago
- ☆15Mar 19, 2026Updated last week
- 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
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- ☆17Mar 28, 2023Updated 2 years ago
- fnm -> this -> load-env = use fnm in nushell☆12Apr 14, 2025Updated 11 months ago
- RDF fact prover and proof validator operating on simple conjunctive rules.☆11Feb 28, 2026Updated 3 weeks ago
- ☆19Sep 5, 2013Updated 12 years ago
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆55Updated this week
- A wrapper for build.rs instructions☆16May 25, 2023Updated 2 years ago
- ☆61Feb 15, 2023Updated 3 years ago
- ☆14Dec 9, 2022Updated 3 years ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆31Dec 29, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Signal handling for rust☆23Aug 10, 2019Updated 6 years ago
- Rust project template with CI-built releases☆12Mar 14, 2020Updated 6 years ago
- Dependency Analysis Project - tools to discover implicit dependencies in source code and on systems☆18Mar 3, 2026Updated 3 weeks ago
- glsl live coding daemon.☆14May 8, 2018Updated 7 years ago
- Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks☆13Jun 20, 2023Updated 2 years ago
- Package Python software as an RPM including all dependencies (even the interpreter).☆11Jan 14, 2020Updated 6 years ago
- Self-improving LLM system using Generator-Reflector-Curator pattern for online learning from execution feedback☆28Mar 6, 2026Updated 3 weeks ago