Borgo is a statically typed language that compiles to Go.

basic discord bot for verification

Awesome materials about database development.

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

Expression language and expression evaluation for Go

A launch point for your personal nvim configuration

An alternative implementation of Golang specs, written in Rust for embedding or wrapping.

Ordo: A minimalist language with row polymorphism

Compiler from a simple language to the assembly language of a virtual machine.