YehudaShapira

Programmer, aspiring writer, hobbyist game-designer. Tends to be tired. Avid coffee-drinker.

Pinned Repositories

Laddon
A refactoring tool for the language Dafny
Language:C#4 3 00
Questor
Language:C#10
xv6-explained
Explanations of xv6 operating system
361 5 096

YehudaShapira's Repositories

YehudaShapira/xv6-explained
Explanations of xv6 operating system
361 5 096
YehudaShapira/Questor
Language:C#10