8000 TimothyEarley (TimothyEarley) / Repositories · GitHub

Address: [go: up one dir, main page]

Include Form Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

More Web Proxy on the site http://driver.im/

Skip to content

Navigation Menu

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
8000
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Sign up

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

TimothyEarley Follow

Overview Repositories 48 Projects 0 Packages 0 Stars 117

More

Overview
Repositories
Projects
Packages
Stars

TimothyEarley

Follow

Timothy Earley TimothyEarley

Follow

Software Person

6 followers · 20 following

Achievements

Achievements

Block or report TimothyEarley

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.

Add an optional note:

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.

Report abuse

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

Report abuse

Overview Repositories 48 Projects 0 Packages 0 Stars 117

More

Overview
Repositories
Projects
Packages
Stars

Type All

Select type

All Sources Forks Archived Can be sponsored Mirrors Templates

Language All

Select language

All Shell JavaScript Kotlin Java Dockerfile Vue CSS Python Groovy Roff Perl HTML

Sort Last updated

Select order

Last updated Name Stars

incompleteness Public

Gödels Incompleteness Theorem Proven in Arend

proof logic arend

1 Updated May 5, 2025
arend-sandbox Public

Playing around with Arend

proof-assistant arend typetheory

Updated Mar 31, 2025
zim-dotfiles Public

Setting up zsh plugins using zimfw

Shell Updated Mar 30, 2025
Bundesliga-charts Public

JavaScript 1 MIT License Updated Mar 8, 2025
advent-of-code Public

https://adventofcode.com

advent-of-code advent-of-code-2021 aoc-2021-in-kotlin advent-of-code-2022 aoc-2022-in-kotlin advent-of-code-2023 aoc-2023-in-kotlin

Kotlin Updated Dec 25, 2024
advent-of-code-2020 Public

https://adventofcode.com/2020

advent-of-code

Kotlin Updated Dec 8, 2024
gogogo Public

Abstract Strategy Game

game kotlin-js

Kotlin 1 Updated Sep 20, 2024
JGiven Public
Forked from TNG/JGiven

Behavior-Driven Development in plain Java

Java Apache License 2.0 Updated Mar 20, 2024
strucuturizr-java Public
Forked from structurizr/java

Structurizr for Java

Java Apache License 2.0 Updated Jan 30, 2024
megalinter Public
Forked from oxsecurity/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 l…

Dockerfile GNU Affero General Public License v3.0 Updated Jan 29, 2024
gitlab-monitor Public
Forked from timoschwarzer/gitlab-monitor

A web-based monitor dashboard for GitLab CI

Vue MIT License Updated Jan 10, 2024
youtube-solarized Public

Userstyle CSS for solarized youtube

CSS Updated May 19, 2023
spaceship-prompt Public
Forked from spaceship-prompt/spaceship-prompt

🚀⭐ A Zsh prompt for Astronauts

Shell MIT License Updated Oct 7, 2022
zsh-dotfiles Public

Basic zsh dotfiles

Shell Updated Sep 29, 2022
zplug-dotfiles Public

Configuration for my zplug setup

Shell MIT License Updated May 3, 2022
TimothyEarley.github.io Public

Kotlin Updated Feb 14, 2022
PKGBUILDs Public

Arch Linux PKGBUILD file(s)

arch-linux

Shell MIT License Updated Oct 11, 2021
simplyTyped Public

Playing with types for the lambda calculus

Kotlin Updated Jul 19, 2020
solitaire Public
Forked from tonsV2/solitaire

Kotlin Updated Mar 30, 2020
tucan-tools Public
Forked from tucanlib/tucan-tools

Nomen est omen. It exports tucan grades/vv etc.

Python GNU General Public License v3.0 Updated Mar 20, 2020
actorSudoku Public

Basic Sudoku Helper implemented with actors

Kotlin Updated Feb 25, 2020
hoplite Public
Forked from sksamuel/hoplite

A boilerplate-free library for loading configuration files as data classes in Kotlin

Kotlin Apache License 2.0 Updated Feb 12, 2020
kompanionDI Public

Minimal, type-safe DI helper for Kotlin

kotlin proof-of-concept compile-time di-framework

Kotlin 1 MIT License Updated Dec 6, 2019
rosetta-code-compiler Public

Implementation for the Rosetta code compiler challenge (http://www.rosettacode.org/wiki/Compiler) in Kotlin

Kotlin MIT License Updated Sep 27, 2019
Groovy-Entity-Component-System Public

ECS focused only nested maps and dsl

Groovy Updated Nov 3, 2018
tmux-dotfiles Public

Small repo for my tmux config

MIT License Updated Sep 14, 2018
nothing-moshi-test Public

Kotlin Updated Sep 13, 2018
misc-config-dotfiles Public

Roff Updated Sep 13, 2018
micro-dotfiles Public

Config files for the micro text editor

2 MIT License Updated Sep 13, 2018
scripts-dotfiles Public

A place for scripts to be placed using dotfiler

Perl MIT License Updated Sep 13, 2018

Previous Next

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.

0