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 6 years ago
- No longer maintained☆38Aug 5, 2017Updated 8 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.
- WIP rust bindings for Awesomium browser☆11Jun 24, 2016Updated 10 years ago
- safe and efficient memory manager for microcontrollers☆35May 31, 2017Updated 9 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,444Jun 19, 2026Updated last week
- Constant Time Operations for Crypto Libraries☆10Jun 22, 2017Updated 9 years ago
- A fast monadic-style parser combinator designed to work on stable Rust.☆241May 11, 2022Updated 4 years ago
- [WIP] Transpile Rust (MIR) to JavaScript.☆76Oct 5, 2016Updated 9 years ago
- ☆37Dec 2, 2016Updated 9 years ago
- inner macro for Rust☆10Feb 5, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- JS affine☆68Jun 25, 2020Updated 6 years ago
- Monadic do notation for rust using macro and duck typing☆231May 30, 2019Updated 7 years ago
- Semantic code navigation for Rust☆424Jan 14, 2023Updated 3 years ago
- Combinatorial phantom types for discrete mathematics☆16Dec 26, 2025Updated 6 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☆20Mar 4, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- [unmaintenance] A experimental post-quantum cryptography library☆136May 14, 2019Updated 7 years ago
- Helps create a swirly timelapse gif☆16May 12, 2021Updated 5 years ago
- A lint to collect some crate metadata☆116Jun 2, 2016Updated 10 years ago
- Convert `try!()` into `?`s☆34Apr 1, 2017Updated 9 years ago
- A Delicious Build Tool.☆66Sep 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 3 years ago
- Lightweight actor system built on top of Tokio☆74Mar 16, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- rust verification condition generator☆96Aug 31, 2016Updated 9 years ago
- Rust framework for building visual/interactive applications☆134Aug 1, 2019Updated 6 years ago
- A mostly functional haskell compiler written in rust☆321Dec 23, 2023Updated 2 years ago
- No longer maintained☆115Nov 10, 2017Updated 8 years ago
- Simple verification of Rust programs via functional purification in Lean 2(!)☆339Mar 6, 2017Updated 9 years ago
- Implementation of the nanomsg "Scalability Protocols" in rust.☆198Feb 14, 2020Updated 6 years ago
- A whitespace-sensitive syntax for rust☆73Oct 27, 2017Updated 8 years ago