☆17Nov 6, 2025Updated 10 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.☆20Sep 7, 2026Updated last week
- Allow function lifetime elision and explicit `for<'a>` annotations on closures.☆26Jan 31, 2022Updated 4 years ago
- An elegant music player☆15Updated this week
- Zig Playground webeditor with snippets sharing support and ziglings☆23Jul 6, 2025Updated last year
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Provides a Refl encoding in Rust☆71Apr 6, 2023Updated 3 years ago
- Implementation of the multi-objective genetic optimization algorithm NSGA-II☆12Jun 22, 2025Updated last year
- Is an Iterator sorted?☆23Oct 16, 2023Updated 2 years ago
- ☆19Nov 21, 2023Updated 2 years ago
- SLSQP optimizer for Rust☆15Aug 24, 2026Updated 3 weeks ago
- Experimenting with number-to-string and string-to-number conversions in Rust☆14May 23, 2015Updated 11 years ago
- Some interesting Rust patterns☆15May 21, 2020Updated 6 years ago
- Set the minimum alignments of types using const generics.☆18Oct 17, 2024Updated last year
- Typst Package to typeset inference rule☆67Jun 8, 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.
- Comprehensive and user friendly YAML 1.2 processor written in Rust☆11Jan 4, 2023Updated 3 years ago
- A Python backed for Idris 2☆30Nov 25, 2025Updated 9 months ago
- Dependency injection library for Rust☆14Jun 13, 2024Updated 2 years ago
- Rust declarative static analysis with macro-like syntax☆16Oct 8, 2018Updated 7 years ago
- Game servers running on Kubernetes☆12Apr 28, 2025Updated last year
- An interface for writing a RustTypeChecker.☆44Feb 27, 2023Updated 3 years ago
- ☆15Aug 19, 2026Updated last month
- Rust Cryptography Intrinsics☆12May 9, 2019Updated 7 years ago
- A query string parser for Gleam☆12Jul 31, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆15Jan 30, 2025Updated last year
- A Rust library to get the path of the currently executing process☆20Apr 15, 2023Updated 3 years ago
- P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF☆11May 20, 2024Updated 2 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated 2 years ago
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆22Feb 10, 2025Updated last year
- Generic implementations of clustering algorithms.☆21Oct 7, 2017Updated 8 years ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆14Apr 8, 2024Updated 2 years ago
- A simple template recreating the look of the classic LaTeX article.☆39May 19, 2026Updated 4 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- On the roots of beauty☆13Nov 27, 2022Updated 3 years ago
- Conditions for Haskell☆15Mar 18, 2015Updated 11 years ago
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated 2 years ago
- Various optimization algorithms and strategies combined in a Rust library☆29Apr 11, 2020Updated 6 years ago
- Monadic checked arithmetic for Rust☆21Oct 24, 2021Updated 4 years ago
- Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically☆48Mar 6, 2019Updated 7 years ago
- A small crate to provide space-efficient Option<_> replacements☆38Mar 10, 2025Updated last year