Tim Johns's starred repositories
system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
florisboard
An open-source keyboard for Android which respects your privacy. Currently in early-beta.
copilot.el
An unofficial Copilot plugin for Emacs.
lets-prove-leftpad
Proving leftpad correct two-dozen different ways
nix-config
My local Nix configuration
advent-of-haskell-dd
Day 9 of Advent of Haskell - Denotational Design
auto-dim-other-buffers.el
Visually makes non-selected windows less prominent
Collaboration
Play/learn/work with me
certainty-by-construction
Source material for Certainty by Construction
tiger-compiler
A compiler for Andrew Appel's Tiger language from the 1990s.
learning-agda
Sean Seefried learns Agda
HackRPI-Website2023
Repository for the 2023 HackRPI website
blackjack-trainer
Learn perfect blackjack strategy and high-low card counting in an interactive app. Master optimal gameplay decisions and advance card counting techniques in a realistic casino environment. Elevate your blackjack skills today!
micro-reddit
Micro Reddit: A lightweight, open-source Reddit clone built with Go and TypeScript, featuring threaded comments, user authentication, voting, and more.
streaming-location-finder
Website app allows users to search their tv show or movie and see what streaming platforms it is on.
trip-planner
A streamlined trip planning app for seamless solo or group travel experiences. Features include interactive itinerary collaboration, role-based coordination, and responsive design.