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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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,431Dec 24, 2025Updated 4 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
- 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.
- 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 4 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
- [unmaintenance] A experimental post-quantum cryptography library☆136May 14, 2019Updated 6 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.
- 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Rust framework for building visual/interactive applications☆134Aug 1, 2019Updated 6 years ago
- No longer maintained☆115Nov 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