Pinned Loading

1. capstone capstone Public

   Forked from capstone-engine/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.

   C

2. FStar FStar Public

   Forked from FStarLang/FStar

   Verification system for effectful programs

   F*

3. ocaml ocaml Public

   Forked from ocaml/ocaml

   The core OCaml system: compilers, runtime system, base libraries

   OCaml 1

4. ocaml-bench/sandmark ocaml-bench/sandmark Public

   A benchmark suite for the OCaml compiler

   Jupyter Notebook 82 38

5. ocaml-bench/ocaml_bench_scripts ocaml-bench/ocaml_bench_scripts Public

   Python 5 3