No Jabaco 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.
Ceylon - Ceylon is a language designed specifically for writing large programs in teams.
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Dolphin Smalltalk - Dolphin is a complete development IDE for Smalltalk targeted specifically at Microsoft Windows.
Lean - Clean up your Live Photos
ASP.NET Core - With ASP.