Dockerfile linter, validate inline bash, written in Haskell

A friendly programming language from the future

Ethereum smart contract fuzzer

A peer-to-peer stack for code collaboration

A prompt engineering functional programming language

A language for intent-centric and declarative decentralised applications

Research wiki

A privacy-preserving, auditable, distributed voting system.