Simple, beautiful CLI output

An annotation processor for generating type-safe bean mappers

Self-hostable alternative to Google Timeline (Google Location History)

The Discord music status that works with any media player

📊 Websites, Resources, Devices, Wearables, Applications, and Platforms for Self Tracking

Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

An open-source, self-hostable PaaS alternative to Vercel, Heroku and Netlify that lets you easily deploy static sites, databases, web applications and more than 280 one-click services on your own s…

Animation engine for explanatory math videos

Monomorphize polymorphic functions for testing

A concept for a programming language where categories and intersections between them replace algorithms.

Practical type inference for arbitrary-rank types

Implementation of "practical type inference for arbitrary-rank types" in Javascript

Flake template for Haskell repository

A functional programming language with shell scripting capabilities

Run untrusted code in an isolated environment

Build system

A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.

perfect programming language

Windows alt-tab on macOS

Next Generation Visual Programming System

A tool for displaying your current Overwatch 2 ranks in Open Broadcaster Software.

Open-source alternative of Discord desktop's app.asar

A simple Nix-Haskell skeleton

Automatically trace all (showable) binds in do expressions

A list of Free Software network services and web applications which can be hosted on your own servers