KTH STEP group's repositories
Silver-Pi
Verified Pipelined Processor Circuit
HolBA-multicore
Binary analysis in HOL
kth-step.github.io
KTH STEP group's website
EmbExp-ProgPlatform
Embedded Experiments - the program platform
itppv-course
Interactive Theorem Proving course using HOL4
EmbExp-BalRob
Embedded Experiments - balancing robot demo
HOL
Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
probability-jam
We collect theory files and references for learning probability theory with HOL4.
cva6
The CORE-V CVA6 is an Application class 6-stage RISC-V CPU capable of booting Linux
openocd
clone from git://git.code.sf.net/p/openocd/code
step-hol-utils
Utility functions and tactics for HOL4
xc3sprog
Mirror for http://xc3sprog.sourceforge.net (https://svn.code.sf.net/p/xc3sprog/code/trunk)