GitHub topics: executable-semantics
opsxcq/packer-ah
AH Executable Packer
Language: Pascal - Size: 49.8 KB - Last synced at: over 1 year ago - Pushed at: about 8 years ago - Stars: 11 - Forks: 2
alexnaughtonjr/Executable_Notes
A place for notes related to learning Executables.
Size: 1.95 KB - Last synced at: 12 days ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
taktoa/k Fork of kframework/k-legacy
The K tools
Language: Java - Size: 249 MB - Last synced at: over 2 years ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 1
