Nicholas Coughlin's repositories
alive2
aslp integration for regehr's arm-tv
Language:LLVMMIT000
cakeml
CakeML: A Verified Implementation of ML
Language:Standard MLNOASSERTION000
HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Language:Standard MLNOASSERTION000
ide-vscode
VSCode IDE Integration for Dafny
Language:TypeScriptMIT000
itrees
Interaction Tree Isabelle Encoding
Language:Isabelle000
melee
A decompilation of Super Smash Bros Melee brought to you by a bunch of clever folks.
Language:Assembly000
omr
Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes
Language:C++NOASSERTION000
openj9
OpenJ9
Language:JavaNOASSERTION000
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++NOASSERTION000
regression
Regression testing infrastructure for CakeML
Language:Standard MLGPL-3.0000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000