graninas / type-level-interfaces-in-rustLinks
Type-level interfaces for type-level design in Rust
☆25Updated 4 months ago
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
Sorting:
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated last year
- Strongly typed routes for Rust☆36Updated 3 years ago
- A Result-like type that can collect multiple Errs☆12Updated 4 years ago
- A functional scripting language.☆18Updated 5 months ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆16Updated last year
- Liquid Types implementation for Rust☆29Updated 2 years ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated last week
- Type-Level Programming in Rust☆27Updated 3 years ago
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆26Updated 2 months ago
- A cross-platform driver for Tauri in Haskell☆51Updated 11 months ago
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆104Updated this week
- ☆13Updated 2 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- ☆18Updated 8 months ago
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Haskell-style monads in Rust.☆23Updated 2 years ago
- ☆37Updated 3 years ago
- Opinionated package manager for haskell (WIP)☆17Updated last year
- A haskell tutorial using CodeWorld☆19Updated 5 months ago
- Explore the nixpkgs dependency graph☆16Updated last year
- A Haskell IDE for Visual Studio Code.☆26Updated last week
- ☆32Updated 3 years ago
- A helpful AI assistant for Mercury engineers☆17Updated 8 months ago
- A Haskell 2010 type checker☆17Updated last year
- this is not a working lens library☆12Updated 2 years ago
- Bit-level codec library☆17Updated 2 years ago
- A beginner's guide to Haskell optimization☆64Updated 7 years ago
- The Library for Functional Programming in Rust☆13Updated 3 months ago