-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Creative Commons Zero v1.0 Universal UpdatedJun 20, 2025 -
-
-
-
ledit Public
Forked from chetmurthy/leditLine editor, a la rlwrap (but written in OCaml)
OCaml Other UpdatedJun 11, 2025 -
vscode-hol-light Public
Forked from monadius/vscode-hol-lightAn extension for VS Code which provides support for HOL Light
TypeScript MIT License UpdatedJun 7, 2025 -
hol_server Public
Forked from monadius/hol_serverA server for executing toplevel HOL Light commands
OCaml MIT License UpdatedMay 23, 2025 -
mlir-tv Public
A translation validation framework for MLIR
-
hol-light Public
Forked from jrh13/hol-lightThe HOL Light theorem prover
OCaml Other UpdatedJan 2, 2025 -
-
-
-
-
slothy Public
Forked from slothy-optimizer/slothyAssembly super-optimization via constraint solving
Assembly Other UpdatedMay 12, 2024 -
dmtcp Public
Forked from dmtcp/dmtcpDMTCP: Distributed MultiThreaded CheckPointing
C++ Other UpdatedApr 27, 2024 -
utop Public
Forked from ocaml-community/utopUniversal toplevel for OCaml
OCaml Other UpdatedApr 23, 2024 -
vscode-ocaml-platform Public
Forked from ocamllabs/vscode-ocaml-platformVisual Studio Code extension for OCaml
OCaml ISC License UpdatedMar 4, 2024 -
-
llvm-project Public
Forked from llvm/llvm-projectThe 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…
Other UpdatedJan 10, 2024 -
alive2 Public
Forked from AliveToolkit/alive2Automatic verification of LLVM optimizations
-
pa_hol_syntax Public
Forked from chetmurthy/pa_hol_syntaxCamlp5 support for HOL-specific OCaml syntax
OCaml UpdatedJan 12, 2023 -
llvmscript Public
One-for-all python script for running LLVM experiment
-
-
-
-
-
-
eurollvm19 Public
EuroLLVM'19 Safely Optimizing Casts between Pointers and Integers
-
-
AliveInLean Public
Forked from microsoft/AliveInLeanFormally verified implementation of Alive in Lean
Lean Other UpdatedFeb 7, 2019
{{ message }}