Explore Projects
Discover 2 open source projects
Showing 1-2 of 2 projects
HigherOrderCO/Kind
A modern proof language written in Haskell, focused on dependent types, formality, and functional programming.
3.7K
JasonShin/fp-core.rs
A Rust library providing functional programming utilities and abstractions like Applicative, Monad, Functor, etc.
1.4K
Stay in the loop
Get weekly updates on trending AI coding tools and projects.