lsf37

Proves stuff. Chief Scientist and Co-Founder at Proofcraft

ProofcraftSydney, Australia

Pinned Repositories

jflex
The fast scanner generator for Java™ with full Unicode support
Language:Java587 23 332114
jflex-web
JFlex Website
Language:HTML2 6 26
camkes-tool
The main CAmkES tool
Language:Python0 0 00
capdl
Capability Distribution Language tools for seL4
Language:Haskell0 1 00
ci-actions
CI GitHub actions for the seL4 repositories
Language:Python0 0 00
Isabelle.tmbundle
TextMate syntax highlighting for the Isabelle theorem prover
2 2 21
l4v
seL4 specification and proofs
Language:Isabelle1 1 30
linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Language:Ruby0 2 00
l4v
seL4 specification and proofs
Language:Isabelle515 37 98108
seL4
The seL4 microkernel
Language:C4.8k 205 428676

lsf37's Repositories

lsf37/Isabelle.tmbundle
TextMate syntax highlighting for the Isabelle theorem prover
2 2 21
lsf37/l4v
seL4 specification and proofs
Language:Isabelle1 1 30
lsf37/camkes-tool
The main CAmkES tool
Language:Python0 0 00
lsf37/capdl
Capability Distribution Language tools for seL4
Language:Haskell0 1 00
lsf37/ci-actions
CI GitHub actions for the seL4 repositories
Language:Python0 0 00
lsf37/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Language:Ruby0 2 00
lsf37/mavlink
MAVLink micro air vehicle marshalling / communication library
Language:JavaScript2 0
lsf37/opensbi
RISC-V Open Source Supervisor Binary Interface
Language:C0 0
lsf37/pygments
Pygments is a generic syntax highlighter written in Python
Language:Python1 0
lsf37/seL4
The seL4 microkernel
Language:C1 0
lsf37/seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
Language:Shell0 0
lsf37/seL4_tools
Basic tools for building seL4 projects
Language:C0 0
lsf37/smaccmpilot-build
An umbrella repository including all of the dependencies to build the smaccmpilot project
Language:C3 0
lsf37/smaccmpilot-stm32f4
SMACCMPilot flight controller
Language:Haskell3 0
lsf37/website
The seL4.systems website
Language:HTML1 0