open source showcase

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.