Type-level interfaces for type-level design in Rust
☆26Feb 3, 2025Updated last year
Alternatives and similar repositories for type-level-interfaces-in-rust
Users that are interested in type-level-interfaces-in-rust are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- Beseder: make impossible state transitions impossible☆31Mar 21, 2020Updated 6 years ago
- Signed distance field library usable on both CPU and GPU.☆15Feb 17, 2026Updated 7 months ago
- Some interesting Rust patterns☆15May 21, 2020Updated 6 years ago
- Library for modelling Rust applications with actors☆20Sep 10, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆36Jun 7, 2024Updated 2 years ago
- A disciplined way to purely functional domain models in Scala☆30Aug 12, 2024Updated 2 years ago
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- A Coq to Cedille compiler written in Coq☆34Aug 4, 2026Updated last month
- Http4s Caching Implementation☆12Jul 15, 2024Updated 2 years ago
- A very small configuration library.☆11Oct 8, 2020Updated 5 years ago
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated 8 months ago
- An implementation of the Two-Level Segregated Fit (TLSF) allocator with optimized memory footprint☆15Jan 12, 2024Updated 2 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆18Aug 6, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆12Aug 13, 2023Updated 3 years ago
- A path to Recursion Schemes☆10Apr 20, 2020Updated 6 years ago
- A crate to provide anonymous row type, which fields can be access by lens-rs☆16May 27, 2021Updated 5 years ago
- Koans to learn rhine☆15Updated this week
- Emacs / Quick command in the mode-line or header-line☆16Jan 10, 2023Updated 3 years ago
- A stealth wallet contract using the BLS12-381 curve for Cardano.☆14May 21, 2026Updated 4 months ago
- Auto load optional plugins via lua modules with lz.n☆14Sep 15, 2026Updated last week
- The Curios programming language: a dependently typed functional language compiled to WebAssembly-GC☆39Updated this week
- Create, compile and manage your Gradle projects without leaving vim!☆11Jun 27, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Working through https://leanpub.com/optics-by-example by Chris Penner☆12Sep 9, 2021Updated 5 years ago
- ☆10Jun 29, 2021Updated 5 years ago
- ROP flavoured Result & AsyncResult types☆13Aug 14, 2023Updated 3 years ago
- Declaratively make your neovim user commands☆11Mar 26, 2026Updated 5 months ago
- Generic records for Scala☆16Mar 7, 2022Updated 4 years ago
- Atomic `dbg`/`eprintln`/`eprint` macros☆18Mar 6, 2025Updated last year
- `smol` integrations with `hyper`☆18Feb 16, 2026Updated 7 months ago
- Provides a Refl encoding in Rust☆71Apr 6, 2023Updated 3 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jul 10, 2026Updated 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An easy-to-use, incremental, multi-threaded garbage collector for Rust☆12Aug 11, 2024Updated 2 years ago
- ☆22Dec 12, 2021Updated 4 years ago
- Generate type mappers for your own type class☆13Updated this week
- async time combinators☆25Apr 26, 2026Updated 4 months ago
- Hspec provider for tasty☆15Oct 7, 2025Updated 11 months ago
- Automatic re-connection support for PostgreSQL.☆15Aug 12, 2021Updated 5 years ago
- A framework for large-scale machine learning and graph computation.☆10Feb 21, 2014Updated 12 years ago