Eta - A powerful language for building scalable systems on the JVM
Koka - A function-oriented language with effect inference
Ditto - A super kawaii dependently typed language for you!
F* - (pronounced F star) An ML-like functional programming language aimed at program verification
Idris - A general purpose pure functional programming language with dependent types
Agda - A dependently typed functional programming language
Coq - A formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs
Get A Weekly Email With Trending Projects For These Topics
No Spam. Unsubscribe easily at any time.
Find Open Source By Browsing 7,000 Topics Across 59 Categories
"Awesome Functional Programming" and other potentially trademarked words, copyrighted images and copyrighted readme contents likely belong to the legal entity who owns the "Xgrommx" organization. Awesome Open Source is not affiliated with the legal entity who owns the "Xgrommx" organization.