Agda is a dependently typed programming language / interactive theorem prover.

A programming language in Turkish where grammatical case and mood are part of the type system.

Haskell implementation of open games

Check signal traces for formulas written in a custom Temporal Logic with Arithmetic Operations