Interactively browse dependency graphs of Nix derivations.

ergonomic-split layout all-button controller

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

Dafny is a verification-aware programming language

A common location to store all color scheme data for the Tinted theming project

A statically typed language compatible with Python

🌀 A nonsense activity generator

A music programming language for musicians. 🎶

RocUp - the tool for managing your Roc compiler installation

Awesome Roc

A purely functional programming language with first class types

A markdown terminal slideshow tool

⭐️ A friendly language for building type-safe, scalable systems!

Save `RUN --mount=type=cache` caches on GitHub Actions ( Forked from https://github.com/overmindtech/buildkit-cache-dance )

Build and Link Coin-OR Osi for ALL TARGETS. Redistribution of Coin-OR Osi as a crate.

SwayFX: Sway, but with eye candy!

A modern alternative to ls

Koka language compiler and interpreter

34 key EC split keyboard

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

A list of keyboards inspired by the Hummingbird

terminal audio visualizer for linux/unix/macOS/windblows*

A curated list of awesome tools and technology to help you out with ricing on linux

CakeML: A Verified Implementation of ML

Docker image for pcloud console client

A Go based URL shortener, pastebin and file uploader

Experiments in building "better" languages and tools; for some measure of better.

A SvelteKit adapter for AWS using the AWS-CDK

Music player