Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.

Convert an mbox file to SQLite and find which emails are taking space

Code-first Protobuf and gRPC library for Scala

📺🗿 Terminal graphics for the 21st century.

Borgo is a statically typed language that compiles to Go.

A configuration as code language with rich validation and tooling.

Gradle release & version management plugin.

A core AST and utilities to manipulate geographical data

Simple, beautiful CLI output

Besom - a Pulumi SDK for Scala. Also, incidentally, a broom made of twigs tied round a stick. Brooms and besoms are used for protection, to ward off evil spirits, and cleansing of ritual spaces.

UI to test java's DateTimeFormatter

Command-line tool to produce newsletters for USTA NorCal tennis organizations.

A *work-in-progress* Gradle plugin to resolve JDKs from various JDK distributions

JSONata query and transformation language - http://jsonata.org

Core framework of openHAB

A collaborative note taking, wiki and documentation platform that scales. Built with Django and React.

A modern framework for full stack web apps in Kotlin, built upon Compose HTML

Spatial K - A set of Kotlin Multiplatform Libraries for working with geospatial data

SRCL is an open-source React component and style repository that helps you build web applications, desktop applications, and static websites with terminal aesthetics.

Firmware for ReflectOS - the approachable, configurable, and extensible OS for Raspberry Pi-based smart mirrors and displays. Built using Elixir, Nerves, the Scenic Framework, and Phoenix.

A type-safe TypeScript SQL query builder

A Git platform powered by Scala with easy installation, high extensibility & GitHub API compatibility

Chess API written in scala. Immutable and free of side effects.

Send Morse code via ⏮️ ⏸️ ⏯️

A library for building server components in Gleam ✨

Tvheadend is the leading TV streaming server for Linux with ATSC, DVB-C/C2, DVB-S/S2, DVB-T/T2, IPTV, SAT>IP and unix pipe input sources

Transparent proxy server that works as a poor man's VPN. Forwards over ssh. Doesn't require admin. Works with Linux and MacOS. Supports DNS tunneling.

Automated mass refactoring of source code.