LiveStore is a next-generation state management framework based on reactive SQLite and built-in sync engine.

OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.

A verifier for automated and interactive proofs about transition systems.

A framework for distributed systems verification, with fault injection

Open Source Alternative to Vercel, Netlify and Heroku.

A data access library for Scala + Postgres.

A boilerplate-free library for loading configuration files

Push your work with pushwork.

Run Windows apps on 🐧 Linux with ✨ seamless integration

A modern alternative to ls

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

A docker job scheduler (aka. crontab for docker)

moOde sources and configs

🎧 Your Personal Streaming Service

Weighs the soul of incoming HTTP requests to stop AI crawlers

A userspace tablet driver on Linux for the reMarkable Paper Tablet

use your reMarkable as a graphics tablet

reMarkable open source desktop app build with python, pygameextra and extism

Sync PDF attachments between Zotero and your ReMarkable back and forth

Pokemon PureRed / PureBlue / PureGreen: A purist's enhancement of Pokemon Red/Blue/Green based on the pokered decompilation.

Course on Metaprogramming

A minimal browser for the distributed web (Desktop version)

Sync notes between local and cloud with smart conflict: S3 (Amazon S3/Cloudflare R2/Backblaze B2/...), Dropbox, webdav (NextCloud/InfiniCLOUD/Synology/...), OneDrive, Google Drive (GDrive), Box, pC…

💚 End-to-end encrypted cloud for everything.

Elm-inspired Scala UI library.

Easy, fast, transparent generic derivation of typeclass instances

Easily convert between Scala.js and native JavaScript

IP addresses break, dial keys instead. Modular networking stack in Rust.

🗝️🐝✨ Rust workspace for Keyhive and related crates