Pinned Repositories
gjurgensen's Repositories
gjurgensen/dunGen
gjurgensen/GABS
gjurgensen/Verif_BST
Verification of BST operations with Verifiable C
gjurgensen/acl2
ACL2 System and Books as Maintained by the Community
gjurgensen/am-bin-gs
gjurgensen/am-bin-uav
gjurgensen/AoC
gjurgensen/gab
gjurgensen/satellite
A toy SAT solver
gjurgensen/attarch
gjurgensen/attarch-manifest
gjurgensen/attestation-manager-bins
gjurgensen/cakeml_sockets
gjurgensen/camkes-cakeml-eg
gjurgensen/camkes-cakeml-eg-manifest
gjurgensen/case-ta6-platform-assessment-camkes-apps
CAmkES applications for the DARPA CASE program Platform Assessment #1
gjurgensen/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
gjurgensen/coqToMd
A parser from an annotated Coq file to a Jekyll markdown file
gjurgensen/D-St-reamsOfAnomalies
gjurgensen/dotfiles
gjurgensen/gjurgensen.github.io
gjurgensen/Glib
gjurgensen/JimmyWrangler
gjurgensen/MajorLeagues
gjurgensen/TheOscars
gjurgensen/thesis
gjurgensen/ToBeOrNotToBe
gjurgensen/vscode-cakeml
gjurgensen/WeekendMovieTrip
gjurgensen/WorldWideProductsInc