☆17Nov 6, 2025Updated 11 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.☆26Jan 31, 2022Updated 4 years ago
- Owned container for dynamically-sized types backed by inline memory☆14Sep 6, 2024Updated 2 years ago
- Provides a Refl encoding in Rust☆71Apr 6, 2023Updated 3 years ago
- A macro for defining type operators in Rust.☆66Mar 16, 2017Updated 9 years ago
- VecOption<T> is a specialized collection (in Rust), which is a more efficient replacement for Vec<Option<T>>.☆15Aug 14, 2019Updated 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.
- Collections Library for Adapton, in Rust☆14Sep 1, 2017Updated 9 years ago
- Conway's Game of Life implemented in Rust and visualized with tui-rs☆13Apr 8, 2021Updated 5 years ago
- Tiny experimental kernel written in Rust and x86 assembler.☆11Oct 11, 2018Updated 8 years ago
- A sampling profiler as a library☆14Sep 4, 2020Updated 6 years ago
- Generic and lazy tree traversal algorithms☆13Jul 12, 2020Updated 6 years ago
- Advanced GPS based on LimeSDR board by Lime Microsystems☆12Aug 19, 2016Updated 10 years ago
- Category Theory☆19Oct 24, 2018Updated 8 years ago
- ☆18Aug 4, 2026Updated 2 months ago
- Optimization algorithms realized in Rust☆13Mar 10, 2020Updated 6 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.
- JIT-compiled programming language. https://jarkonik.github.io/rocklang/☆23Aug 10, 2023Updated 3 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/stb_truetype-rs☆17Dec 14, 2020Updated 5 years ago
- Implementation of the multi-objective genetic optimization algorithm NSGA-II☆12Jun 22, 2025Updated last year
- A Rust port of Jane Street's Incremental library.☆32Jan 8, 2025Updated last year
- Experimenting with number-to-string and string-to-number conversions in Rust☆14May 23, 2015Updated 11 years ago
- Optimizing a simple math parser for fun☆16Jul 8, 2025Updated last year
- An implementation of the paper Gradient Outlier Removal for Gradient-Domain Path Tracing☆13May 30, 2019Updated 7 years ago
- Jump to the very character you've got your eyeballs on!☆12Mar 30, 2016Updated 10 years ago
- Typst Package to typeset inference rule☆68Oct 12, 2026Updated 2 weeks ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆38Mar 29, 2026Updated 7 months ago
- Rust mantle experiments☆15Apr 18, 2015Updated 11 years ago
- Check that a crate builds without libstd☆25Jan 31, 2021Updated 5 years ago
- Comprehensive and user friendly YAML 1.2 processor written in Rust☆11Jan 4, 2023Updated 3 years ago
- Is an Iterator sorted?☆23Oct 16, 2023Updated 3 years ago
- A Python backed for Idris 2☆30Nov 25, 2025Updated 11 months ago
- Compile-time checked printf☆14Aug 3, 2023Updated 3 years ago
- Dependency injection library for Rust☆14Jun 13, 2024Updated 2 years ago
- Fast dynamic fracture using position-based rod-bonded discrete element method☆18Jun 18, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Experimental type level programming in Rust☆43Jul 19, 2021Updated 5 years ago
- Rust type erased vector.☆23Aug 25, 2025Updated last year
- Rust declarative static analysis with macro-like syntax☆16Oct 8, 2018Updated 8 years ago
- Free space bitmap allocator☆15Apr 15, 2026Updated 6 months ago
- Simply Typed Lambda Calculus with de Bruijn indices☆19Oct 9, 2026Updated 3 weeks ago
- nix interpreter in javascript☆11May 16, 2024Updated 2 years ago
- ☆15Aug 19, 2026Updated 2 months ago