foxfriends

tauri

Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

pi-hole

A black hole for Internet advertisements

meilisearch

A lightning-fast search API that fits effortlessly into your apps, websites, and workflow

cypress

Fast, easy and reliable testing for anything that runs in a browser.

fish-shell

The user-friendly command line shell.

kit

web development, streamlined

OpenRCT2

An open source re-implementation of RollerCoaster Tycoon 2 🎢

broot

A new way to see and navigate directory trees : https://dystroy.org/broot

OpenTTD

OpenTTD is an open source simulation game based upon Transport Tycoon Deluxe

lunatic

Lunatic is an Erlang-inspired runtime for WebAssembly

horcrux

Split your file into encrypted fragments so that you don't need to remember a passcode

Kind

A modern proof language

scryer-prolog

A modern Prolog implementation written mostly in Rust.

sad

CLI search and replace | Space Age seD

termscp

🖥 A feature rich terminal UI file transfer and explorer with support for SCP/SFTP/FTP/S3/SMB

tere

Terminal file explorer

OpenLoco

An open source re-implementation of Chris Sawyer's Locomotion

plrust

A Rust procedural language handler for PostgreSQL

mtm

Perhaps the smallest useful terminal multiplexer in the world.

passerine

A small extensible programming language designed for concise expression with little code.

dotter

A dotfile manager and templater written in rust 🦀

BQN

An APL-like programming language

magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

pl-catalog

A catalog of programming languages

fend

Arbitrary-precision unit-aware calculator

flux

Refinement Types for Rust

syncat

Syntax aware cat

whisper

Logic programming, for Rust, from inside Rust.

yarner

Literate Programming command line tool for Markdown

advent-of-code-kotlin-2022