Pinned Repositories
basicmaths
A construction of some basic mathematics in lean, mostly done for fun
jamespbarrett
Config files for my GitHub profile.
pyz80
A Simple Emulator for the Zilog Z80 written in python
tabletweave
A tool for designing tablet weaving drafts
jamespbarrett's Repositories
jamespbarrett/tabletweave
A tool for designing tablet weaving drafts
jamespbarrett/pyz80
A Simple Emulator for the Zilog Z80 written in python
jamespbarrett/basicmaths
A construction of some basic mathematics in lean, mostly done for fun
jamespbarrett/jamespbarrett
Config files for my GitHub profile.