Skip to content

Users following vehicle-lang

@ayberkt
Ayberk Tosun ayberkt
Researcher in formal verification @zeroth-research

Zeroth Research Birmingham, UK

@ad-si
Adrian Sieber ad-si
CEO @Airsequel | Haskell, Elm, PureScript, Rust

@Airsequel Frankfurt am Main

@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK