greg
0 Followers · 0 Following
  • Joined on 2021-04-16
Repositories
39
 Projects Packages Public Activity Starred Repositories
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
bevy-game
Rust 0 0
Updated 2023-03-19 02:06:40 -07:00
statemaker
Rust 0 0
A Nix-like software state applier
Updated 2023-03-05 22:57:15 -08:00
dependent-types-implementation
Rust 0 0
Updated 2023-03-05 11:25:09 -08:00
haskell-clock
Haskell 0 0
Simple clock GUI app in Haskell, using Monomer library
Updated 2023-03-01 18:33:22 -08:00
beamsweep-animation
JavaScript 0 0
Updated 2023-02-28 01:29:09 -08:00
ord-nix-package
Nix 0 0
Updated 2023-02-27 02:40:10 -08:00
tab-provenance
JavaScript 0 0
Tab Provenance browser extension
Updated 2023-02-24 00:35:49 -08:00
browser-engineering
Rust 0 0
Updated 2023-01-12 02:48:22 -08:00
work-sample
TypeScript 0 0
Updated 2022-12-09 13:56:18 -08:00
ethereum-experiments
Gerber Image 0 0
Updated 2022-10-09 22:39:36 -07:00
rust-flutter-bindings
Rust 0 0
Updated 2022-07-30 20:38:15 -07:00
dmrconfig
C 0 0
Fork of dmrconfig
Updated 2022-07-06 09:46:24 -07:00
ham-radio
0 0
Files related to amateur radio software
Updated 2022-07-05 18:26:00 -07:00
snes-asm
Assembly 0 0
Updated 2022-06-17 20:00:22 -07:00
theorem-provers
Lean 0 0
My experimentation with theorem provers
Updated 2022-05-30 19:22:51 -07:00