Skip to content
View TimWSpence's full-sized avatar

Organizations

@typelevel

Block or report TimWSpence

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Command and Conquer: Generals - Zero Hour

C++ 68 11 Updated Apr 17, 2026

A user friendly TUI for SQL databases. Written in python. Supports SQL server, Mysql, PostreSQL, SQLite, Turso and more.

Python 4,048 101 Updated Apr 15, 2026

cdebug - a swiss army knife of container debugging

Go 1,636 66 Updated Jan 18, 2026

Command and Conquer: Generals - Zero Hour

C++ 1,027 180 Updated Apr 17, 2026

A pedagogical implementation of Autograd

Jupyter Notebook 1,015 109 Updated May 26, 2020

Clone of the Age of Empires II engine 🚀

Python 14,169 1,234 Updated Jun 14, 2025
Go 1 Updated Mar 5, 2025

Bookmark your files, separated by project, and quickly navigate through them.

Lua 738 42 Updated Nov 28, 2025

🦀 Small exercises to get you used to reading and writing Rust code!

Rust 62,530 11,178 Updated Apr 13, 2026

AeroSpace is an i3-like tiling window manager for macOS

Swift 20,303 490 Updated Apr 14, 2026

OctoSQL is a query tool that allows you to join, analyse and transform data from multiple databases and file formats using SQL.

Go 5,254 214 Updated May 26, 2024

Writing a sqlite clone from scratch in C

C 10,388 1,026 Updated Mar 4, 2024

Declarative schema migrations with schema-as-code workflows

Go 8,292 350 Updated Apr 14, 2026

Athena Crisis is a modern-retro turn-based tactical strategy game. Athena Crisis is open core technology.

TypeScript 1,917 148 Updated Mar 23, 2026

Kill Zscaler without password or jail Zscaler in a virtual machine

Shell 356 37 Updated May 7, 2023

in-place allocation-reusing queues for Rust

Rust 403 30 Updated Jun 6, 2024

Master programming by recreating your favorite technologies from scratch.

Markdown 491,151 46,398 Updated Feb 21, 2026

Neovim git GUI powered by libgit2

Lua 465 15 Updated Mar 28, 2026

☁️ Choose the optimal Google Compute Engine machine type or instance in the many Google Cloud Platform regions

Perl 401 18 Updated Mar 22, 2026

Main game repository for Beyond All Reason.

Lua 3,796 577 Updated Apr 17, 2026

A Blood Bowl AI framework.

Python 137 51 Updated Mar 30, 2026

Development and compilation setup for the book versions of MINIX (2.0.0 and 3.1.0) on QEMU

Shell 1,268 79 Updated Oct 18, 2025

CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM

Scala 40 3 Updated Dec 6, 2024

Abstractions for making closures in Scala safer and more flexible

Scala 21 2 Updated Apr 14, 2026

they see me ringin'

Scala 62 8 Updated May 8, 2025

Instant, easy, and predictable development environments

Go 11,476 310 Updated Apr 16, 2026

Get Method Sampling from Java Flight Recorder Dump and convert to FlameGraph compatible format.

Java 270 63 Updated Oct 25, 2023

Hoogle-like searches for Scala 3 and Kotlin

Scala 93 5 Updated Sep 19, 2024
Next