Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/niltok/magic-in-ten-mins
十分钟魔法练习
adt formal-proofs formal-verification functional-programming hkt java lambda-calculus monad tutorial
Last synced: 31 May 2024
![](https://github.com/niltok.png)
https://github.com/JasonShin/fp-core.rs
A library for functional programming in Rust
applicative category-theory comonad functional-programming functor hkt homomorphism lambda-calculus monad monoid morphism rust
Last synced: 29 Apr 2024
![](https://github.com/JasonShin.png)
https://github.com/4lDO2/real-async-trait-rs
A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure
async-trait existential-types generic-associated-types higher-kinded-types hkt proc-macro proc-macro-attributes
Last synced: 23 Mar 2024
![](https://github.com/4lDO2.png)