shigoel

Applied Scientist at AWS

Austin, TX

Pinned Repositories

acl2
ACL2 System and Books as Maintained by the Community
Language:Common Lisp362 36 487100
LNSym
Armv8 Native Code Symbolic Simulator in Lean
Language:Lean52 6 1913
acl2
Shilpi's Fork of ACL2 System and Books
Language:Common Lisp10
cl-jupyter
An enhanced interactive Shell for Common Lisp (based on the Jupyter protocol)
Language:Jupyter Notebook00
ELFSage
A toy ELF parser/validator
Language:Lean00
lean-std4
Standard Library for Lean 4
Language:Lean00
leanbv
00
leansat
This package provides an interface and foundation for verified SAT reasoning
Language:Lean00
LNSym
Armv8 Native Code Symbolic Simulator in Lean
Language:Lean00
Ring0Code
Simple kernel-level programs to be verified using the ACL2-based x86isa reasoning framework
Language:C10

shigoel's Repositories

shigoel/acl2
Shilpi's Fork of ACL2 System and Books
Language:Common Lisp10
shigoel/Ring0Code
Simple kernel-level programs to be verified using the ACL2-based x86isa reasoning framework
Language:C10
shigoel/cl-jupyter
An enhanced interactive Shell for Common Lisp (based on the Jupyter protocol)
Language:Jupyter Notebook00
shigoel/ELFSage
A toy ELF parser/validator
Language:Lean00
shigoel/lean-std4
Standard Library for Lean 4
Language:Lean00
shigoel/leanbv
00
shigoel/leansat
This package provides an interface and foundation for verified SAT reasoning
Language:Lean00
shigoel/LNSym
Armv8 Native Code Symbolic Simulator in Lean
Language:Lean00
shigoel/shigoel.github.io
Personal Website
Language:HTML00