larsk21

Doctoral researcher in CS @ KIT, Germany

Karlsruhe Institute of Technology (KIT)Karlsruhe, Germany

Pinned Repositories

SDQ-Commons
SDQ-Commons
Language:Xtend3 9 34
TimeSheetGenerator
TimeSheetGenerator is an application that checks and builds time sheet documents.
Language:Java24 6 737
compiler-minijava
Java Compiler for the MiniJava language
Language:Java3 3 290
lean4
Lean 4 programming language and theorem prover
Language:Lean0 0 00
iris-lean
Lean 4 port of Iris, a higher-order concurrent separation logic framework
Language:Lean69 26 36
lean4
Lean 4 programming language and theorem prover
Language:Lean4.9k 66 2k437
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
Language:TypeScript173 11 20852
p2-layout-provider
Java web app that serves as a basic proxy to provide a Maven repository front-end to p2 (Eclipse-style) repositories
Language:Java7 6 415
Vitruv
View-based Development and Model Consistency Framework
Language:Java16 8 14921
Vitruv-CaseStudies
Case Studies for the Vitruvius Framework
Language:Xtend4 9 3917

larsk21's Repositories

larsk21/compiler-minijava
Java Compiler for the MiniJava language
Language:Java3 3 290
larsk21/lean4
Lean 4 programming language and theorem prover
Language:Lean0 0 00