☆17Nov 6, 2025Updated 5 months ago
Alternatives and similar repositories for deptypes
Users that are interested in deptypes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- "Generic generics" / higher-kinded APIs in stable Rust.☆19Dec 8, 2025Updated 4 months ago
- VecOption<T> is a specialized collection (in Rust), which is a more efficient replacement for Vec<Option<T>>.☆15Aug 14, 2019Updated 6 years ago
- Provides a Refl encoding in Rust☆69Apr 6, 2023Updated 3 years ago
- A Rust port of Jane Street's Incremental library.☆30Jan 8, 2025Updated last year
- Data frames for Idris 2☆23Jan 10, 2023Updated 3 years 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.
- Optimization algorithms realized in Rust☆14Mar 10, 2020Updated 6 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 years ago
- Is an Iterator sorted?☆22Oct 16, 2023Updated 2 years ago
- ☆19Nov 21, 2023Updated 2 years ago
- Set the minimum alignments of types using const generics.☆18Oct 17, 2024Updated last year
- Implementation of the multi-objective genetic optimization algorithm NSGA-II☆12Jun 22, 2025Updated 10 months ago
- MaxiCP☆20Apr 23, 2026Updated last week
- Experimental type level programming in Rust☆41Jul 19, 2021Updated 4 years ago
- Rust declarative static analysis with macro-like syntax☆16Oct 8, 2018Updated 7 years 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.
- A Python backed for Idris 2☆29Nov 25, 2025Updated 5 months ago
- Dependency injection library for Rust☆14Jun 13, 2024Updated last year
- Rust type erased vector.☆22Aug 25, 2025Updated 8 months ago
- 🧬 Small OAuth crate that follows the sans-io approach 🦀☆25Aug 8, 2024Updated last year
- ☆17Jan 3, 2025Updated last year
- Game servers running on Kubernetes☆12Apr 28, 2025Updated last year
- Helper for macro_rules authors to chain their macros with builtin ones (such as `env!`, `include!`, or `concat_idents!`).☆18Apr 10, 2024Updated 2 years ago
- JIT-compiled programming language. https://jarkonik.github.io/rocklang/☆23Aug 10, 2023Updated 2 years ago
- An interface for writing a RustTypeChecker.☆44Feb 27, 2023Updated 3 years 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.
- Grammatical parsers - combinator library for parsing general context-free grammars☆46Jan 23, 2026Updated 3 months ago
- ☆14Jan 30, 2025Updated last year
- A query string parser for Gleam☆12Feb 25, 2025Updated last year
- Stdlib for the Rocq Prover☆33Updated this week
- A Rust library to get the path of the currently executing process☆20Apr 15, 2023Updated 3 years ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆17Mar 24, 2026Updated last month
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated last year
- P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF☆11May 20, 2024Updated last year
- Attribute to override the visibility of items (useful in conjunction with cfg_attr)☆18Aug 13, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆19Feb 10, 2025Updated last year
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Apr 14, 2026Updated 2 weeks ago
- Various optimization algorithms and strategies combined in a Rust library☆28Apr 11, 2020Updated 6 years ago
- Automagical variable binding library for Rust☆68Oct 4, 2019Updated 6 years ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆13Apr 8, 2024Updated 2 years ago
- Renders interactive fractal-like animations☆19May 16, 2017Updated 8 years ago
- A small crate to provide space-efficient Option<_> replacements☆38Mar 10, 2025Updated last year