lloydmeta / frunk Star 1.3k Code Issues Pull requests Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends. rust generic fp generic-programming lenses hlist type-level type-level-programming validated labelled-generic coproduct datatype-generic-programming Updated Aug 31, 2024 Rust
unageek / inari Star 32 Code Issues Pull requests Discussions A Rust implementation of interval arithmetic (IEEE 1788) rust arithmetic interval floating-point interval-arithmetic intervals validated rigorous inari ieee1788 Updated Aug 23, 2024 Rust
chapiteau-team / rust2fun Star 26 Code Issues Pull requests A library for functional programming in Rust rust functional-programming combinator monad functor monoid applicative no-std validated non-empty-collections Updated Apr 24, 2024 Rust