Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
ReasonML - ReasonML is a new face to OCaml that--when coupled with BuckleScript--makes web development easy...
Haskell - An advanced purely-functional programming language
PureScript - PureScript is a small strongly typed programming language that compiles to JavaScript.
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Mint - Free personal finance software to assist you to manage your money, financial planning, and budget planning tools. Achieve your financial goals with Mint.