Giters
Shilpi Goel (shigoel)

shigoel

Geek Repo

22

followers

16

following

25

stars

Location:Austin, TX

Home Page:https://shigoel.github.io/

Github PK Tool:Github PK Tool

Organizations
acl2

Shilpi Goel's repositories

acl2

Shilpi's Fork of ACL2 System and Books

Language:Common LispLicense:NOASSERTIONStargazers:1Issues:0Issues:0

Ring0Code

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

Language:CStargazers:1Issues:0Issues:0

cl-jupyter

An enhanced interactive Shell for Common Lisp (based on the Jupyter protocol)

Language:Jupyter NotebookLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

lean-std4

Standard Library for Lean 4

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

leanbv

License:Apache-2.0Stargazers:0Issues:0Issues:0

LNSym

Armv8 Native Code Symbolic Simulator in Lean

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

shigoel.github.io

Personal Website

Language:HTMLStargazers:0Issues:0Issues:0