ShellCheck, a static analysis tool for shell scripts

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

A Dependently Typed Functional Programming Language

🇪🇺 Wire back-end services

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Reach: The Safest and Smartest DApp Programming Language

A categorical programming language with effects

A theory‑backed, type‑safe algebraic effects

Language Server for Agda

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.

Gong liveness and channel safety checker

Godel Checker with data race detection

k-MC tool