Top Repositories
Repositories
13TA
tanyongkiam/cakeml2ocaml
CakeML sexp to OCaml
OCaml00Updated 2 weeks ago
TA
tanyongkiam/hol4-mcpFork
cursor and mcp tools for hol4
Python00Updated 2 weeks ago
TA
tanyongkiam/tanyongkiam.github.io
No description provided.
HTML00Updated 2 weeks ago
TA
tanyongkiam/impcheckFork
Immediate Massively Parallel Propositional Proof Checking
00Updated 3 weeks ago
TA
tanyongkiam/cakemlFork
CakeML: A Verified Implementation of ML
Standard ML00Updated 4 weeks ago
TA
tanyongkiam/HOLFork
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Standard ML00Updated 1 month ago
TA
tanyongkiam/armv8.6-asl-snapshotFork
No description provided.
Standard ML00Updated 1 month ago
TA
tanyongkiam/ocaml-cakeml
Experiments with Claude translated version of CakeML compiler in OCaml
OCaml00Updated 3 months ago
TA
tanyongkiam/cake_lpr
LPR proof checking with CakeML
Assembly70Updated 3 months ago
TA
tanyongkiam/coch-demoFork
Concurrent Proof Checking Demo
C00Updated 4 months ago
TA
tanyongkiam/approxmcFork
Approximate Model Counter
C++00Updated 1 year ago
TA
tanyongkiam/real_analysis
Formalizing some basic real analysis in HOL4
Standard ML00Updated 7 years ago
TA
tanyongkiam/15816
No description provided.
Standard ML00Updated 9 years ago