C# pure functional programming framework - come and get declarative!
- c-sharp
- functional-languages
- monads
- monad-transformers
Repository Index
71,372 visible repositories in the index
1–6 of 6 · Most stars
A modern proof language
- formality
- lambda-calculus
- type-theory
- proof-language
It's a New Kind of Wrapper for Exposing LLVM (Safely)
- rust
- llvm
- safe
- wrapper
recursion schemes for cats; to iterate is human, to recurse, divine
- scala
- recursion-schemes
- functional-programming
Stream api (kind of) implementation for go, other useful functions and packages to use go in a functional way
- filter-map-reduce
- go-library
- stream-api
- filter
The repository host gives no description.