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:
- ☆54Updated 5 years ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆44Updated 9 years ago
- Rust implementation of the callbag spec for reactive/iterable programming☆30Updated 3 years ago
- Rustz is a library for functional programming in Rust☆81Updated 7 years ago
- An efficient memory pool mechanism for Rust.☆69Updated 4 years ago
- The Haskell’s do notation brought to Rust☆64Updated 3 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 5 years ago
- A functional programming language☆48Updated 5 years ago
- Partial function application macro for Rust☆47Updated 5 years ago
- 🐠Like procedural macro, but generates sources! 🐡☆30Updated 5 years ago
- Ergonomic Rust bindings to the Web platform☆93Updated 3 years ago
- A golden file testing library for rust☆35Updated last week
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- View tokio tracing JSON logs interactively and with proper hierarchies☆20Updated this week
- Macros have types!☆131Updated 2 years ago
- 👌 A smol functional language that targets other languages☆64Updated last year
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 5 months ago
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆40Updated 6 years ago
- Typed λ-calculus in Rust☆29Updated 2 years ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- [De]serializing data structures as files☆21Updated 7 years ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Updated 9 years ago
- Wadler-style pretty-printing combinators in Rust☆164Updated 6 months ago
- Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)☆30Updated 3 years ago
- Historic Rust code browsing☆35Updated 4 years ago
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆53Updated 4 years ago
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆57Updated 4 years ago
- Prototype extension of the Rust type system towards checking units-of-measure☆115Updated 5 years ago