Pinned Repositories
alive2
Automatic verification of LLVM optimizations
eurollvm19
EuroLLVM'19 Safely Optimizing Casts between Pointers and Integers
hol-light-materials
Online materials for HOL-Light
llvmscript
One-for-all python script for running LLVM experiment
mlir-tv
A translation validation framework for MLIR
rust-practice
s2n-bignum
hol-light
The HOL Light theorem prover
AliveInLean
Formally verified implementation of Alive in Lean
aqjune's Repositories
aqjune/mlir-tv
A translation validation framework for MLIR
aqjune/llvmscript
One-for-all python script for running LLVM experiment
aqjune/eurollvm19
EuroLLVM'19 Safely Optimizing Casts between Pointers and Integers
aqjune/rust-practice
aqjune/alive2
Automatic verification of LLVM optimizations
aqjune/llvmtwin-ae-1
aqjune/hol-light-materials
Online materials for HOL-Light
aqjune/AliveInLean
Formally verified implementation of Alive in Lean
aqjune/aqjune.github.io
aqjune/clang-eurollvm19
aqjune/clang-freeze
aqjune/clang-intptr
aqjune/dmtcp
DMTCP: Distributed MultiThreaded CheckPointing
aqjune/hol-light
The HOL Light theorem prover
aqjune/hol-light.github.io
aqjune/llvm-eurollvm19
aqjune/llvm-freeze
aqjune/llvm-intptr
aqjune/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
aqjune/mathlib
Lean mathematical components library
aqjune/opam-repo-ocamlnat
aqjune/pa_hol_syntax
Camlp5 support for HOL-specific OCaml syntax
aqjune/s2n-bignum
aqjune/slothy
Assembly super-optimization via constraint solving
aqjune/smt2_interface
Interface to SMT2 solvers
aqjune/toplevel-light
aqjune/twinsem
aqjune/utop
Universal toplevel for OCaml
aqjune/vscode-ocaml-platform
Visual Studio Code extension for OCaml
aqjune/z3
The Z3 Theorem Prover