jamespbarrett

The same person as @jamesba This is my personal account

Pinned Repositories

basicmaths
A construction of some basic mathematics in lean, mostly done for fun
Language:Lean0 1 00
jamespbarrett
Config files for my GitHub profile.
00
pyz80
A Simple Emulator for the Zilog Z80 written in python
Language:Python6 2 10
tabletweave
A tool for designing tablet weaving drafts
Language:JavaScript17 3 3410

jamespbarrett's Repositories

jamespbarrett/tabletweave
A tool for designing tablet weaving drafts
Language:JavaScript17 3 3410
jamespbarrett/pyz80
A Simple Emulator for the Zilog Z80 written in python
Language:Python6 2 10
jamespbarrett/basicmaths
A construction of some basic mathematics in lean, mostly done for fun
Language:Lean0 1 00
jamespbarrett/jamespbarrett
Config files for my GitHub profile.
00