funcional-programming topic

List funcional-programming repositories

dilate

81
Stars
5
Forks
Watchers

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

verified publisher icon vitorsvieira

Formality-Core

38
Stars
11
Forks
Watchers

Specification of the Formality proof and programming language

verified publisher icon Soonad