⚡️ Streaming torrent client for the web

500 Lines or Less

Self-hosted audiobook and podcast server

Easy P2P file transfer powered by WebRTC - inspired by Apple AirDrop

🗺 MapSCII is a Braille & ASCII world map renderer for your console - enter => telnet mapscii.me <= on Mac (brew install telnet) and Linux, connect with PuTTY on Windows

Enhanced eBooks in the browser.

Modern HTML Presentations

KDE Connect implementation for GNOME

A global repository of open address, building, and parcel data.

👾 Play Pokémon Go from your Mac

RTSP to WebRTC use Pion WebRTC

video.js plugin for recording audio/video/image files

The Deadlock Empire: Slay dragons, learn concurrency!

A stupid game for learning about containers, capabilities, and syscalls.

Render e-books in the browser

Webbased image editor, modeled after the legendary Deluxe Paint with a focus on retro Amiga file formats: read and write Amiga icon files and IFF ILBM images

A framework for the elicitation, specification, formalization and analysis of requirements.

🦔 CLI for restoring the letter «ё» (yo) in russian texts

Interactive playground for exploring and sharing TLA+ specifications in the browser.

Native Mac man page editor with syntax coloring, mandoc syntax checking & live preview.

DeepBugs is a framework for learning bug detectors from an existing code corpus.

Free Tracks Optimizer Online Service

Tutorials and courses for Z3

A tool to visualize distributed system logs

Use OpenBSD in github actions

Application to manage FIT files such as those produced by Garmin fitness devices

Try Idris

Interactive Control Flow Graph Visualization.

Poor Man's CI - Hosted CI with shell scripting and duct tape

D3 Trees with React and Alt