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
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
- 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,426Dec 24, 2025Updated 2 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.☆76Oct 5, 2016Updated 9 years ago
- ☆37Dec 2, 2016Updated 9 years ago
- JS affine☆68Jun 25, 2020Updated 5 years ago
- Monadic do notation for rust using macro and duck typing☆230May 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 2 months ago
- Stateful, a Rust Control Flow Plugin☆108Apr 4, 2017Updated 8 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☆137May 14, 2019Updated 6 years ago
- 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 8 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
- Rust framework for building visual/interactive applications☆134Aug 1, 2019Updated 6 years ago
- Simple verification of Rust programs via functional purification in Lean 2(!)☆340Mar 6, 2017Updated 9 years ago
- A mostly functional haskell compiler written in rust☆321Dec 23, 2023Updated 2 years ago
- No longer maintained☆113Nov 10, 2017Updated 8 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☆254Jan 4, 2021Updated 5 years ago