oppiliappan / cutlassLinks
experimental auto-currying for rust functions
☆32Updated 5 years ago
Alternatives and similar repositories for cutlass
Users that are interested in cutlass are comparing it to the libraries listed below
Sorting:
- Type-Level Programming in Rust☆27Updated 3 years ago
- ☆54Updated 5 years ago
- Partial function application macro for Rust☆47Updated 4 years ago
- Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.☆26Updated 4 years ago
- Exploring the "expression problem" in Rust☆49Updated 2 years ago
- A golden file testing library for rust☆33Updated 2 weeks ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- Strongly typed routes for Rust☆36Updated 3 years ago
- Rustz is a library for functional programming in Rust☆81Updated 7 years ago
- Experimenting with ergonomic dyn types☆29Updated 3 years ago
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- Easy-to-use optional function arguments for Rust☆47Updated last year
- Compact sets in rust☆57Updated 2 months ago
- 👌 A smol functional language that targets other languages☆62Updated last year
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆44Updated 9 years ago
- Visualise recursive functions and tree structures.☆30Updated 3 years ago
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆39Updated 6 years ago
- Rust CLI program to create low-poly images☆32Updated 4 years ago
- The Haskell’s do notation brought to Rust☆61Updated 3 years ago
- some logs on the tide☆16Updated 3 months ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆57Updated 4 years ago
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆52Updated 3 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- Efficient sized chunk datatypes for immutable.rs☆26Updated 3 years ago
- Rust implementation of the callbag spec for reactive/iterable programming☆30Updated 3 years ago
- A unique textual notation that can be used as both a data format and a markup language and that has powerful extensibility of both lexica…☆13Updated last year
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- A tracing aware eyre variant that captures SpanTraces and Backtraces and supports rich context for errors with warnings, suggestions, and…☆28Updated 2 years ago
- An efficient memory pool mechanism for Rust.☆68Updated 3 years ago