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
chess
Exercise in implementing chess in HTML and Javascript/Typescript
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
pyev3dev2
Robotics programs for EV3 written in Python using the python-ev3dev2 library
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