Categories |
|
---|---|
Website | lean.tinywhale.net |
Categories |
|
---|---|
Website | thoracic.org |
Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
Rust - A safe, concurrent, practical language
Haskell - An advanced purely-functional programming language
Go.CD - Open source continuous delivery tool allows for advanced workflow modeling and dependencies management.
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
NIM - GB64.COM is the home of The Gamebase Collection of C64 games.