shigoel

shigoel's Stars

• boogie-org/lean-embedding

  An embedding of Boogie semantics into Lean

  Language:Lean2

• leanprover/TensorLib

  A verified tensor library in Lean

  Language:Lean22

• T-Brick/lean-wasm

  Formalising the WASM spec in Lean

  Language:Lean22

• leanprover-community/lean-auto

  Experiments in automation for Lean

  Language:Lean10117

• draperlaboratory/ELFSage

  A toy ELF parser/validator

  Language:Lean135

• NethermindEth/Clear

  Interactive formal verification tool for Yul programs

  Language:Lean627

• jtristan/lffi

  Language:Lean2

• leanprover/SampCert

  SampCert : Verified Differential Privacy

  Language:Lean738

• leanprover/LNSym

  Armv8 Native Code Symbolic Simulator in Lean

  Language:Lean7719

• leanprover-community/batteries

  The "batteries included" extended library for the Lean programming language and theorem prover

  Language:Lean291118

• ARM-software/abi-aa

  Application Binary Interface for the Arm® Architecture

  Language:HTML1k199

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.8k1.5k

• angr/pypcode

  Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR

  Language:C++19029

• rems-project/sail-x86-from-acl2

  Sail x86 model automatically translated from the ACL2 model

  Language:Python81

• ARM-software/asl-interpreter

  Example implementation of Arm's Architecture Specification Language (ASL)

  Language:OCaml11534

• awslabs/s2n-bignum

  Language:OCaml15529

• acl2/acl2

  ACL2 System and Books as Maintained by the Community

  Language:Common Lisp381107

• jrh13/hol-light

  The HOL Light theorem prover

  Language:OCaml45380

• intelxed/xed

  The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions

  Language:Python1.5k154

• mayankmanj/ocaml-pedersen

  Implementation of Pedersen hash function in OCaml

  Language:OCaml1

• riscv/riscv-isa-manual

  RISC-V Instruction Set Manual

  Language:TeX4k692

• riscv-software-src/riscv-isa-sim

  Spike, a RISC-V ISA Simulator

  Language:C2.6k916

• Maratyszcza/Opcodes

  Database of CPU Opcodes

  Language:Python24744

• chrislgarry/Apollo-11

  Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

  Language:Assembly61.6k7.2k

• 0xAX/linux-insides

  A little bit about a linux kernel

  Language:Python30.5k3.4k

• shigoel/Ring0Code

  Simple kernel-level programs to be verified using the ACL2-based x86isa reasoning framework

  Language:C1

• shigoel/acl2

  Shilpi's Fork of ACL2 System and Books

  Language:Common Lisp1

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell92.2k5.9k

• ACL2BSD/acl2bsd

  FreeBSD src tree modified to support booting on an x86_64 model implemented in ACL2

  Language:C1

• acjf3/l3mips

  L3 based MIPS specification and emulator

  Language:Ruby154