Richard L Ford's repositories
socamldebug
Standalone OCaml debugger
formalreview
Repository for review of formal methods
ocamldumper
Program to dump contents of various ocaml file formats
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.
build-path-prefix-map-spec
Clone from salsa repository
dune
A composable build system for OCaml.
form
The FORM project for symbolic manipulation of very big expressions
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
lean3port
Stub for downloading mathport artifacts for Lean 3
lean4
Lean 4 programming language and theorem prover
mathlib4
Work in progress mathlib port for lean 4
mcsema
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
ocaml
The core OCaml system: compilers, runtime system, base libraries
ocamlearlybird
OCaml debug adapter
ocamlvisit
Utilities for visiting OCaml binary files
remill
Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode
retdec
RetDec is a retargetable machine-code decompiler based on LLVM.
retdec-regression-tests
A collection of regression tests for RetDec and associated tools.
RlfLean4Lib
Experiments in using Lean 4
RubiksCube_Solver
Rubik's cube solver written in python 3 for the console
Snap
a visual programming language inspired by Scratch
soc_compat
Standalone OCaml Compatibility module
testactions
Test github actions
theorem_proving_in_lean4
Theorem Proving in Lean 4