-
pac-nix Public
Forked from katrinafyi/pac-nixNix packages for UQ PAC's work.
Nix UpdatedDec 2, 2024 -
alive2 Public
Forked from katrinafyi/alive2aslp integration for regehr's arm-tv
LLVM MIT License UpdatedJul 9, 2024 -
melee Public
Forked from doldecomp/meleeA decompilation of Super Smash Bros Melee brought to you by a bunch of clever folks.
Assembly UpdatedFeb 1, 2024 -
-
-
ide-vscode Public
Forked from dafny-lang/ide-vscodeVSCode IDE Integration for Dafny
TypeScript MIT License UpdatedFeb 4, 2021 -
HOL Public
Forked from HOL-Theorem-Prover/HOLCanonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Standard ML Other UpdatedMay 25, 2018 -
cakeml Public
Forked from CakeML/cakemlCakeML: A Verified Implementation of ML
Standard ML Other UpdatedMay 8, 2018 -
regression Public
Forked from CakeML/regressionRegression testing infrastructure for CakeML
Standard ML GNU General Public License v3.0 UpdatedApr 10, 2018 -
omr Public
Forked from eclipse-omr/omrEclipse OMR™ Cross platform components for building reliable, high performance language runtimes
C++ Other UpdatedDec 22, 2017 -
-
openj9-omr Public
Forked from eclipse-openj9/openj9-omrEclipse OpenJ9's clone of the Eclipse OMR (https://github.com/eclipse/omr) project. PRs should be opened against the upstream OMR project whenever possible.
C++ Other UpdatedDec 13, 2017
{{ message }}