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