Skip to content
View lsf37's full-sized avatar

Organizations

@seL4 @jflex-de @proofcraft

Block or report lsf37

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Isabelle CI infrastructure

Python 4 2 Updated Jan 17, 2025

The fast scanner generator for Java™ with full Unicode support

Java 597 116 Updated Jan 1, 2025

A static website compiler library in Haskell

Haskell 2,721 409 Updated Jan 11, 2025

The seL4 microkernel

C 4,810 681 Updated Jan 5, 2025

seL4 specification and proofs

Isabelle 520 108 Updated Jan 10, 2025

git mirror of the Munich isabelle hg repository

Isabelle 117 40 Updated Jan 27, 2025
Showing results