Name		Name	Last commit message	Last commit date
.claude		.claude
.github/workflows		.github/workflows
FlowrefDecompiler		FlowrefDecompiler
decompile-bench		decompile-bench
ffi		ffi
systemd		systemd
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
CITATION.cff		CITATION.cff
CITATIONS.bib		CITATIONS.bib
EquivCheck.lean		EquivCheck.lean
Etnf.lean		Etnf.lean
FlowrefDecompiler.lean		FlowrefDecompiler.lean
LICENSE		LICENSE
OPEN_GAPS.md		OPEN_GAPS.md
README.md		README.md
TOMBSTONES.md		TOMBSTONES.md
TrainingSet.lean		TrainingSet.lean
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
run-tests.sh		run-tests.sh

Repository files navigation

FlowrefDecompiler

Point it at a binary, get back compilable C you can actually read. A control-flow-aware xref finder and a decompiler, written in Lean 4.

About

No description, website, or topics provided.

1 star

0 watching

Report repository

Releases

Packages

Contributors

Languages