Algebraic structure and emulation of higher kinded types for Rust
☆109Dec 15, 2018Updated 7 years ago
Alternatives and similar repositories for Kinder
Users that are interested in Kinder are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dynamically query a type-erased object for any trait implementation☆67Oct 7, 2022Updated 3 years ago
- A general-purpose lens library for Rust.☆30Dec 18, 2016Updated 9 years ago
- ☆18Dec 15, 2016Updated 9 years ago
- Odds and ends — collection miscellania. Extra functionality for slices, strings and other things☆22Apr 11, 2020Updated 5 years ago
- No longer maintained☆38Aug 5, 2017Updated 8 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.
- WIP rust bindings for Awesomium browser☆11Jun 24, 2016Updated 9 years ago
- safe and efficient memory manager for microcontrollers☆34May 31, 2017Updated 8 years ago
- cargo-safety provides safety checks for Rust projects by finding all uses of unsafe code in dependencies.☆62Jan 7, 2018Updated 8 years ago
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,429Dec 24, 2025Updated 3 months ago
- Constant Time Operations for Crypto Libraries☆10Jun 22, 2017Updated 8 years ago
- A fast monadic-style parser combinator designed to work on stable Rust.☆242May 11, 2022Updated 3 years ago
- [WIP] Transpile Rust (MIR) to JavaScript.☆77Oct 5, 2016Updated 9 years ago
- ☆37Dec 2, 2016Updated 9 years ago
- JS affine☆68Jun 25, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Monadic do notation for rust using macro and duck typing☆231May 30, 2019Updated 6 years ago
- Semantic code navigation for Rust☆421Jan 14, 2023Updated 3 years ago
- Combinatorial phantom types for discrete mathematics☆16Dec 26, 2025Updated 3 months ago
- Stateful, a Rust Control Flow Plugin☆108Apr 4, 2017Updated 9 years ago
- A very small GC in Rust, with a safe API☆67Jul 2, 2024Updated last year
- Experimental actor implementation☆99Nov 23, 2018Updated 7 years ago
- No longer maintained☆70Aug 5, 2017Updated 8 years ago
- Easy to use EGL Interface for Rust☆19Mar 4, 2024Updated 2 years ago
- [unmaintenance] A experimental post-quantum cryptography library☆136May 14, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Helps create a swirly timelapse gif☆16May 12, 2021Updated 4 years ago
- A lint to collect some crate metadata☆116Jun 2, 2016Updated 9 years ago
- Convert `try!()` into `?`s☆34Apr 1, 2017Updated 9 years ago
- A Delicious Build Tool.☆65Sep 13, 2016Updated 9 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆12Oct 13, 2019Updated 6 years ago
- a distributed-merge capable database for many small objects☆76Jan 30, 2020Updated 6 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆106May 29, 2023Updated 2 years ago
- Lightweight actor system built on top of Tokio☆73Mar 16, 2017Updated 9 years ago
- rust verification condition generator☆96Aug 31, 2016Updated 9 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.
- Rust framework for building visual/interactive applications☆134Aug 1, 2019Updated 6 years ago
- No longer maintained☆113Nov 10, 2017Updated 8 years ago
- A mostly functional haskell compiler written in rust☆321Dec 23, 2023Updated 2 years ago
- Simple verification of Rust programs via functional purification in Lean 2(!)☆340Mar 6, 2017Updated 9 years ago
- Implementation of the nanomsg "Scalability Protocols" in rust.☆197Feb 14, 2020Updated 6 years ago
- A whitespace-sensitive syntax for rust☆73Oct 27, 2017Updated 8 years ago
- Design by contract style assertions for Rust☆255Jan 4, 2021Updated 5 years ago