ncough

Pinned Repositories

alive2
aslp integration for regehr's arm-tv
Language:LLVM00
cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML0 0 00
HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Language:Standard ML0 0 00
ide-vscode
VSCode IDE Integration for Dafny
Language:TypeScript0 0 00
itrees
Interaction Tree Isabelle Encoding
Language:Isabelle00
melee
A decompilation of Super Smash Bros Melee brought to you by a bunch of clever folks.
Language:Assembly00
omr
Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes
Language:C++00
openj9
OpenJ9
Language:Java00
openj9-omr
Eclipse OpenJ9's clone of the Eclipse OMR (https://github.com/eclipse/omr) project. PRs should be opened against the upstream OMR project whenever possible.
Language:C++0 0 00
regression
Regression testing infrastructure for CakeML
Language:Standard ML00

ncough's Repositories

ncough/alive2
aslp integration for regehr's arm-tv
Language:LLVM00
ncough/cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML0 0 00
ncough/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Language:Standard ML0 0 00
ncough/ide-vscode
VSCode IDE Integration for Dafny
Language:TypeScript0 0 00
ncough/itrees
Interaction Tree Isabelle Encoding
Language:Isabelle00
ncough/melee
A decompilation of Super Smash Bros Melee brought to you by a bunch of clever folks.
Language:Assembly00
ncough/omr
Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes
Language:C++00
ncough/openj9
OpenJ9
Language:Java00
ncough/openj9-omr
Eclipse OpenJ9's clone of the Eclipse OMR (https://github.com/eclipse/omr) project. PRs should be opened against the upstream OMR project whenever possible.
Language:C++0 0 00
ncough/regression
Regression testing infrastructure for CakeML
Language:Standard ML00
ncough/z3
The Z3 Theorem Prover
Language:C++0 0 00