kings177

Interaction-Calculus

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

ChatSH

Chat with GPT from the terminal, with the ability to execute shell scripts.

openplayground

An LLM playground you can run on your laptop

stable-diffusion-webui

Stable Diffusion web UI

shuttle

Build & ship backends without writing any infrastructure files.

fzf

:cherry_blossom: A command-line fuzzy finder

kind-ai

anki

Anki's shared backend and web components, and the Qt frontend

zsh-autocomplete

🤖 Real-time type-ahead completion for Zsh. Asynchronous find-as-you-type autocompletion.

osu-framework

A game framework written with osu! in mind.

osu

rhythm is just a *click* away!

chatgpt-vscode

A VSCode extension that allows you to use ChatGPT

agentic

AI agent stdlib that works with any LLM and TypeScript AI SDK.

ohmyzsh

🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

signoz

SigNoz is an open-source observability platform native to OpenTelemetry with logs, traces and metrics in a single application. An open-source alternative to DataDog, NewRelic, etc. 🔥 🖥. 👉 Open source Application Performance Monitoring (APM) & Observability tool

inpla

Inpla: Interaction nets as a programming language (the current version)

Questie

Questie: The WoW Classic quest helper

brave-browser

Brave browser for Android, iOS, Linux, macOS, Windows.

Minyami

A lovely video downloader for HLS videos

Kindex

Collection of Kind2 programs and proofs

AutoEq

Automatic headphone equalization from frequency responses

HVM

A massively parallel, optimal functional runtime in Rust

GitHub-Star-Counter

✨An API to count a GitHub user's total stars, working with shield.io.

Hvmon

High-Order Virtual Monsters is a Battle Showdown Game.

Kindelia

An efficient, secure cryptocomputer

Kind1

A modern proof language