Pinned Loading

1. federal_save_act federal_save_act Public

   Common Lisp

2. gpt-receipt-finder gpt-receipt-finder Public

   Tool to scrape, examine and extract data from emails and attachments which contain receipts. Uses gmail and gpt apis.

   Python

3. hb1384-acl2 hb1384-acl2 Public

   Applying ACL2 Theorem prover to Virginia legislation

   Common Lisp

4. sb749-acl2 sb749-acl2 Public

   This project uses ACL2 to formally separate facts from interpretations when analyzing whether a bill, statute, or legal provision conflicts with a constitutional guarantee.

   Common Lisp

5. astrosec/virtualagc-docker astrosec/virtualagc-docker Public

   Dockerfile and other scripts to dockerize the Apollo Guidance Computer

   C 2

6. astrosec/CVE-Scripts astrosec/CVE-Scripts Public

   Scripts to gather CVD related data

   Python 1