https://github.com/johnwickerson/hsv

Last synced: 13 Feb 2026

https://github.com/johnwickerson/memalloy

Memory consistency modelling using Alloy

armv7 c11 compiler-design constraint-solver memory-model model-checking nvidia-gpus opencl powerpc x86

Last synced: 11 Jun 2025

https://github.com/johnwickerson/mastering_digital_design

Course webpage for the MSc ADIC lab on "Mastering Digital Design"

Last synced: 24 Jan 2026

https://github.com/johnwickerson/dblp-playground

Asking questions about DBLP

Last synced: 27 Jun 2025

https://github.com/johnwickerson/ee_modules

Last synced: 24 Apr 2025

https://github.com/johnwickerson/alloystar

Unofficial copy of the Alloy* tool's source code (http://alloy.mit.edu/alloy/hola/)

Last synced: 16 Oct 2025

https://github.com/johnwickerson/netlistfuzz

Last synced: 18 Mar 2026

https://github.com/johnwickerson/grant

LaTeX class for writing grant proposals

Last synced: 18 Mar 2026

https://github.com/johnwickerson/papers

Research papers by John Wickerson and others

Last synced: 21 Jan 2026

https://github.com/johnwickerson/iris_website

Last synced: 14 Feb 2026

https://github.com/johnwickerson/dlmalloc

Last synced: 04 Feb 2026

https://github.com/johnwickerson/csv_iterator

Last synced: 24 Apr 2025

https://github.com/johnwickerson/mixed-size-diagrams

Last synced: 23 Jan 2026

https://github.com/johnwickerson/dynquants

Last synced: 30 Jan 2026

https://github.com/johnwickerson/partialtotal

Last synced: 09 Feb 2026

https://github.com/johnwickerson/mailer

Last synced: 13 Sep 2025