Giters
Gerwin Klein (lsf37)

lsf37

Geek Repo

115

followers

0

following

6

stars

Company:Proofcraft

Location:Sydney, Australia

Home Page:https://doclsf.de

Twitter:@lsf37

Github PK Tool:Github PK Tool

Organizations
jflex-de
proofcraft
seL4

Gerwin Klein's starred repositories

admin

Isabelle CI infrastructure

Language:PythonStargazers:4Issues:0Issues:0

jflex

The fast scanner generator for Java™ with full Unicode support

Language:JavaLicense:NOASSERTIONStargazers:579Issues:0Issues:0

hakyll

A static website compiler library in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:2671Issues:0Issues:0

seL4

The seL4 microkernel

Language:CLicense:NOASSERTIONStargazers:4629Issues:0Issues:0

l4v

seL4 specification and proofs

Language:IsabelleLicense:NOASSERTIONStargazers:496Issues:0Issues:0

isabelle

git mirror of the Munich isabelle hg repository

Language:IsabelleLicense:NOASSERTIONStargazers:117Issues:0Issues:0