☆17Nov 6, 2025Updated 8 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:
- Allow function lifetime elision and explicit `for<'a>` annotations on closures.☆27Jan 31, 2022Updated 4 years ago
- An elegant music player☆15Jun 20, 2026Updated last month
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- Data frames for Idris 2☆23Jan 10, 2023Updated 3 years ago
- A Rust port of Jane Street's Incremental library.☆30Jan 8, 2025Updated last year
- 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 Typst package to cleanly place content side by side with equal heights using automatic content sizing.☆34Jan 21, 2026Updated 6 months ago
- Implementation of the multi-objective genetic optimization algorithm NSGA-II☆12Jun 22, 2025Updated last year
- SLSQP optimizer for Rust☆15Jun 23, 2026Updated 3 weeks ago
- Rust Optimal Transport solvers☆13Mar 31, 2024Updated 2 years 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☆66Jun 8, 2026Updated last month
- Comprehensive and user friendly YAML 1.2 processor written in Rust☆11Jan 4, 2023Updated 3 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.
- Optimizing a simple math parser for fun☆16Jul 8, 2025Updated last year
- Experimental type level programming in Rust☆42Jul 19, 2021Updated 5 years ago
- Check that a crate builds without libstd☆25Jan 31, 2021Updated 5 years ago
- Timezone-aware datetime library for the Rust programming language☆10May 16, 2019Updated 7 years ago
- Game servers running on Kubernetes☆12Apr 28, 2025Updated last year
- Scripst – A versatile scripting template for Typst typesetting. 🚀☆26Dec 19, 2025Updated 7 months ago
- 🧬 Small OAuth crate that follows the sans-io approach 🦀☆25Aug 8, 2024Updated last year
- An interface for writing a RustTypeChecker.☆44Feb 27, 2023Updated 3 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆46Jun 13, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆14Jan 28, 2026Updated 5 months ago
- Containers in Azure: AKS, ACR, ACI. Submit issues and PRs at https://github.com/Azure/AzureContainers.☆11Apr 12, 2025Updated last year
- Rust Cryptography Intrinsics☆12May 9, 2019Updated 7 years ago
- A query string parser for Gleam☆12May 22, 2026Updated 2 months 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 last year
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆19Feb 10, 2025Updated last year
- A simple template recreating the look of the classic LaTeX article.☆37May 19, 2026Updated 2 months ago
- 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.
- 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
- 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
- A Concourse resource to deploy applications to Marathon.☆13Feb 15, 2017Updated 9 years ago
- Monadic checked arithmetic for Rust☆21Oct 24, 2021Updated 4 years ago
- A small crate to provide space-efficient Option<_> replacements☆38Mar 10, 2025Updated last year