Featured projects
featuring the team
Programming Languages
Performance fuzzing the Kotlin compiler with AFL-Java.
A golden tests generator for a Haskell formatter.
A discrete optimisation model for mastermind dating in MiniZinc.
Networks, P2P
Distributed web cache for censorship circumvention.
Build GNUnet applications from the well-typed concurrent comfort of your Haskell.
A scholarship management platform built on blockchain.
Applications & DevOps
A continuous delivery pipeline for TON built with Nix. Ships deb, rpm, AUR, brew, and choco packages.
Pins or pings marked Telegram contacts you didn't talk with in a while.
Build Docker images for Android CI with GitLab CI and store them in GL Container Registry.