Pinned Repositories
actorSudoku
Basic Sudoku Helper implemented with actors
advent-of-code
https://adventofcode.com
Bundesliga-charts
gogogo
Abstract Strategy Game
incompleteness
Gödels Incompleteness Theorem Proven in Arend
kompanionDI
Minimal, type-safe DI helper for Kotlin
micro-dotfiles
Config files for the micro text editor
PixelEngine
A pixel based engine in pure java
zsh-dotfiles
Basic zsh dotfiles
TimothyEarley's Repositories
TimothyEarley/micro-dotfiles
Config files for the micro text editor
TimothyEarley/Bundesliga-charts
TimothyEarley/gogogo
Abstract Strategy Game
TimothyEarley/incompleteness
Gödels Incompleteness Theorem Proven in Arend
TimothyEarley/kompanionDI
Minimal, type-safe DI helper for Kotlin
TimothyEarley/actorSudoku
Basic Sudoku Helper implemented with actors
TimothyEarley/advent-of-code
https://adventofcode.com
TimothyEarley/zim-dotfiles
Setting up zsh plugins using zimfw
TimothyEarley/zsh-dotfiles
Basic zsh dotfiles
TimothyEarley/advent-of-code-2020
https://adventofcode.com/2020
TimothyEarley/arend-sandbox
Playing around with Arend
TimothyEarley/gitlab-monitor
A web-based monitor dashboard for GitLab CI
TimothyEarley/Groovy-Entity-Component-System
ECS focused only nested maps and dsl
TimothyEarley/hoplite
A boilerplate-free library for loading configuration files as data classes in Kotlin
TimothyEarley/JGiven
Behavior-Driven Development in plain Java
TimothyEarley/megalinter
🦙 MegaLinter analyzes 50 languages, 22 formats, 21 tooling formats, excessive copy-pastes, spelling mistakes and security issues in your repository sources with a GitHub Action, other CI tools or locally.
TimothyEarley/misc-config-dotfiles
TimothyEarley/nothing-moshi-test
TimothyEarley/PKGBUILDs
Arch Linux PKGBUILD file(s)
TimothyEarley/rosetta-code-compiler
Implementation for the Rosetta code compiler challenge (http://www.rosettacode.org/wiki/Compiler) in Kotlin
TimothyEarley/scripts-dotfiles
A place for scripts to be placed using dotfiler
TimothyEarley/simplyTyped
Playing with types for the lambda calculus
TimothyEarley/solitaire
TimothyEarley/spaceship-prompt
:rocket::star: A Zsh prompt for Astronauts
TimothyEarley/strucuturizr-java
Structurizr for Java
TimothyEarley/TimothyEarley.github.io
TimothyEarley/tmux-dotfiles
Small repo for my tmux config
TimothyEarley/tucan-tools
Nomen est omen. It exports tucan grades/vv etc.
TimothyEarley/youtube-solarized
Userstyle CSS for solarized youtube
TimothyEarley/zplug-dotfiles
Configuration for my zplug setup