Stars
Experiments in automation for Lean
Interactive formal verification tool for Yul programs
The "batteries included" extended library for the Lean programming language and theorem prover
Application Binary Interface for the Arm® Architecture
Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR
Sail x86 model automatically translated from the ACL2 model
Example implementation of Arm's Architecture Specification Language (ASL)
ACL2 System and Books as Maintained by the Community
The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions
Implementation of Pedersen hash function in OCaml
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
Simple kernel-level programs to be verified using the ACL2-based x86isa reasoning framework
shigoel / acl2
Forked from acl2/acl2Shilpi's Fork of ACL2 System and Books
Papers from the computer science community to read and discuss.
ACL2BSD / acl2bsd
Forked from freebsd/freebsd-srcFreeBSD src tree modified to support booting on an x86_64 model implemented in ACL2