No Go.CD videos yet. You could help us improve this page by suggesting one.
Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
NIM - GB64.COM is the home of The Gamebase Collection of C64 games.
Haskell - An advanced purely-functional programming language
Jenkins - Jenkins is an open-source continuous integration server with 300+ plugins to support all kinds of software development
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Rust - A safe, concurrent, practical language