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