Verified message-passing programs in Dotty

Moved to Codeberg

An interactive theorem prover based on lambda-tree syntax

Logtalk - declarative object-oriented logic programming language

Perl Dancer Next Generation (rewrite of Perl Dancer)

Process-based parallelism for Go

Software Transactional Memory in Go

Platform-native GUI library for Go.