Pinned Repositories
choreo
cwe_checker
cwe_checker finds vulnerable patterns in binary executables
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.
boyer-moore-hol
An Implementation of Boyer-Moore substring search with proof in HOL
choreo
Honours work on Payload to CakeML compilation as part of the Bakery project
SublimeHOL
SublimeHOL - A HOL Development Environment built on top of SublimeREPL
SublimeHOL2
TCSReadingGroup
Running efforts of a HOL reading group mechanising M̶i̶c̶h̶a̶e̶l̶ ̶S̶i̶p̶s̶e̶r̶'̶s̶ ̶I̶n̶t̶r̶o̶d̶u̶c̶t̶i̶o̶n̶ ̶t̶o̶ ̶t̶h̶e̶ ̶T̶h̶e̶o̶r̶y̶ ̶o̶f̶ ̶C̶o̶m̶p̶u̶t̶a̶t̶i̶o̶n̶ Sidney Morris's Topology Without Tears.
JamesShaker's Repositories
JamesShaker/TCSReadingGroup
Running efforts of a HOL reading group mechanising M̶i̶c̶h̶a̶e̶l̶ ̶S̶i̶p̶s̶e̶r̶'̶s̶ ̶I̶n̶t̶r̶o̶d̶u̶c̶t̶i̶o̶n̶ ̶t̶o̶ ̶t̶h̶e̶ ̶T̶h̶e̶o̶r̶y̶ ̶o̶f̶ ̶C̶o̶m̶p̶u̶t̶a̶t̶i̶o̶n̶ Sidney Morris's Topology Without Tears.
JamesShaker/boyer-moore-hol
An Implementation of Boyer-Moore substring search with proof in HOL
JamesShaker/choreo
Honours work on Payload to CakeML compilation as part of the Bakery project
JamesShaker/SublimeHOL
SublimeHOL - A HOL Development Environment built on top of SublimeREPL
JamesShaker/SublimeHOL2