The Pyret language.

The entrance repository of Markdown presentation ecosystem

A logic programming language that has features of both Datalog and answer set programming.

Powerful menu bar manager for macOS

The Racket repository

🔭 My cozy corner in the wide expanse of the internet

A simpler site generator. Transforms a directory of templates (of varying types) into HTML.

A Zsh theme

A suite of tools for declarative Discord permission management (through Lua!)

Enhancements to WPILib

A collection of modern/faster/saner alternatives to common unix commands.

Keyword highlighting Discord bot

A JVM written in Rust.

🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

A terrible terrible thing

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

well yes, but can you do it in types?

An optimizing ahead-of-time Python Compiler

Empowering everyone to build reliable and efficient software.

Command-line tool to customize Spotify client. Supports Windows, MacOS, and Linux.

Material Design icons for web browsers

A Node.js library for Minecraft servers that can retrieve status, query, RCON, and send Votifier votes.

Visual Studio Code