Type-level interfaces for type-level design in Rust
☆25Feb 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:
- Functors, Monads and Free Monads in C++☆20Jul 5, 2023Updated 2 years ago
- ☆12Jan 8, 2022Updated 4 years ago
- Beseder: make impossible state transitions impossible☆31Mar 21, 2020Updated 6 years ago
- Functional lenses on C++ (highly experimental).☆10Aug 13, 2019Updated 6 years ago
- Signed distance field library usable on both CPU and GPU.☆15Feb 17, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- Library for modelling Rust applications with actors☆20Nov 24, 2025Updated 4 months ago
- A Neovim command-mode parser. Similar to Python's argparse module☆23Nov 28, 2025Updated 4 months ago
- ☆36Jun 7, 2024Updated last year
- Functional Lenses in C++☆21Jul 31, 2011Updated 14 years ago
- Utilities for working with Scala in NeoVim.☆14Nov 15, 2021Updated 4 years ago
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- Scala wrapper for kafka consumer and producer☆45Apr 7, 2026Updated last week
- A Coq to Cedille compiler written in Coq☆34Sep 22, 2020Updated 5 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.
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆46Feb 20, 2026Updated last month
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated 3 months ago
- Http4s Caching Implementation☆13Jul 15, 2024Updated last year
- Making Boost Variants usable☆38Sep 25, 2016Updated 9 years ago
- An example project that shows how to integrate flawless workflows into native Rust projects.☆15Dec 6, 2024Updated last year
- Rust widget toolkit built on Reclutch☆11Mar 25, 2020Updated 6 years ago
- The Evolution of a Scala Programmer☆32Jun 2, 2019Updated 6 years ago
- An implementation of the Two-Level Segregated Fit (TLSF) allocator with optimized memory footprint☆14Jan 12, 2024Updated 2 years ago
- Comprehensive framework to build network actors and distributed applications☆24Jul 11, 2019Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Using cabal-install as SAT solver☆13Aug 29, 2023Updated 2 years ago
- Neovim plugins database used by plugnplay☆11Mar 3, 2025Updated last year
- A path to Recursion Schemes☆10Apr 20, 2020Updated 5 years ago
- A crate to provide anonymous row type, which fields can be access by lens-rs☆15May 27, 2021Updated 4 years ago
- Koans to learn rhine☆13Updated this week
- Software transactional memory system developed at Wyatt Technology☆30Sep 30, 2019Updated 6 years ago
- ☆79Sep 3, 2024Updated last year
- Self Host Image Resizing: Generate Images on the fly without paying extra cost in image resizing services☆11Jul 27, 2024Updated last year
- Create, compile and manage your Gradle projects without leaving vim!☆11Jun 27, 2022Updated 3 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.
- neovim plugin for ghcid☆16Dec 8, 2025Updated 4 months ago
- An extreme condensation of the tutorial for Haskell's Servant (web server and client) library☆11Feb 2, 2018Updated 8 years ago
- See useful diagnostics right from your rocks.toml☆19Sep 27, 2024Updated last year
- Automatically re-export Haskell modules.☆32Mar 3, 2026Updated last month
- Declaratively make your neovim user commands☆11Mar 26, 2026Updated 2 weeks ago
- Generic records for Scala☆16Mar 7, 2022Updated 4 years ago
- Provides a Refl encoding in Rust☆69Apr 6, 2023Updated 3 years ago