gjurgensen

Pinned Repositories

• acl2

  ACL2 System and Books as Maintained by the Community

  Language:Common Lisp00

• am-bin-gs

  00

• am-bin-uav

  00

• dunGen

  Language:Haskell1100

• gab

  Language:Haskell00

• GABS

  Language:Haskell10

• satellite

  A toy SAT solver

  Language:Rust00

• Verif_BST

  Verification of BST operations with Verifiable C

  Language:Coq10

• am-cakeml

  Delivery repo for the KU CakeML Attestation Manager

  Language:Standard ML11

• CTL

  Coq CTL model

  Language:Coq21100

gjurgensen's Repositories