Pinned Repositories
capstone
Capstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings.
FStar
Verification system for effectful programs
hpc-toolkit
Cloud HPC Toolkit is an open-source software offered by Google Cloud which makes it easy for customers to deploy HPC environments on Google Cloud.
irmin
Irmin is a distributed database that follows the same design principles as Git
ocaml
The core OCaml system: compilers, runtime system, base libraries
ocaml-multicore
Multicore OCaml
ocaml.org
Implementation of the ocaml.org website.
operf-micro
A set of micro-benchmarks for OCaml compiler
ocaml_bench_scripts
sandmark
A benchmark suite for the OCaml compiler
ctk21's Repositories
ctk21/ocaml-multicore
Multicore OCaml
ctk21/capstone
Capstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings.
ctk21/FStar
Verification system for effectful programs
ctk21/hpc-toolkit
Cloud HPC Toolkit is an open-source software offered by Google Cloud which makes it easy for customers to deploy HPC environments on Google Cloud.
ctk21/irmin
Irmin is a distributed database that follows the same design principles as Git
ctk21/ocaml
The core OCaml system: compilers, runtime system, base libraries
ctk21/ocaml.org
Implementation of the ocaml.org website.
ctk21/operf-micro
A set of micro-benchmarks for OCaml compiler
ctk21/sandmark-analyze
Exploring sandmark results in Jupyter notebook
ctk21/zooneye