greg
0 Followers · 0 Following
  • Joined on 2021-04-16
Repositories
59
 Projects Packages Public Activity Starred Repositories
1
Filter
Sort
lean-sdl3
Lean 0 0
Updated 2026-01-22 02:48:22 -08:00
low-level-programming
Rust 1 0
Updated 2026-01-21 12:15:35 -08:00
meganekko
Rust 0 0
A cross-platform visual media viewer and renamer
Updated 2026-01-13 03:30:23 -08:00
deploy-rs
Rust 0 0
fork of https://github.com/serokell/deploy-rs/
Updated 2026-01-01 21:30:05 -08:00
greg.everydayimshuflin.com
HTML 0 0
Updated 2026-01-01 03:04:43 -08:00
resume
TeX 0 0
My resume
Updated 2025-12-17 23:18:27 -08:00
analysis
Lean 0 0
Lean4 version of Terry Tao's analysis
Updated 2025-12-17 01:48:35 -08:00
repotool
Rust 0 0
Tool for investigating repositories
Updated 2025-12-10 00:20:34 -08:00
lean-graphics
Lean 0 0
Updated 2025-12-09 04:05:55 -08:00
diskonaut
Rust 0 0
Updated 2025-12-07 03:52:40 -08:00
LeanDoom
Lean 0 0
Updated 2025-12-01 02:35:38 -08:00
leptos-tutorial
Rust 0 0
Updated 2025-11-28 12:43:48 -08:00
cpython
Python 0 0
Updated 2025-11-23 10:00:23 -08:00
rss-reader
Rust 0 0
An RSS reader webapp
Updated 2025-11-21 22:38:14 -08:00
NNG
Lean 0 0
Lean natural number game
Updated 2025-11-12 08:47:51 -08:00