Giters
Grant Jurgensen (gjurgensen)

gjurgensen

Geek Repo

11

followers

17

following

9

stars

Company:@KestrelInstitute

Location:Overland Park, KS

Home Page:grantjurgensen.com

Github PK Tool:Github PK Tool

Organizations
acl2
ku-sldg

Grant Jurgensen's starred repositories

vimium

The hacker's browser.

Language:JavaScriptLicense:MITStargazers:23116Issues:0Issues:0

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.

Language:OCamlLicense:LGPL-2.1Stargazers:4805Issues:0Issues:0

acl2

ACL2 System and Books as Maintained by the Community

Language:Common LispLicense:NOASSERTIONStargazers:358Issues:0Issues:0

cakeml

CakeML: A Verified Implementation of ML

Language:Standard MLLicense:NOASSERTIONStargazers:946Issues:0Issues:0

VST

Verified Software Toolchain

Language:CoqLicense:NOASSERTIONStargazers:436Issues:0Issues:0

am-cakeml

Delivery repo for the KU CakeML Attestation Manager

Language:Standard MLLicense:GPL-3.0Stargazers:1Issues:0Issues:0

parsec

A monadic parser combinator library

Language:HaskellLicense:NOASSERTIONStargazers:843Issues:0Issues:0

hacl-star

HACL*, a formally verified cryptographic library written in F*

Language:F*License:Apache-2.0Stargazers:1622Issues:0Issues:0

blog_os

Writing an OS in Rust

Language:HTMLLicense:Apache-2.0Stargazers:15585Issues:0Issues:0