Explore projects


Max Ole Elliger / A Proof Assistant inside Coq
GNU General Public License v3.0 or laterThis experimental project aims to build a proof assistant for propositional logic inside another proof assistant: Coq. The main idea is to implement natural deduction rules from the GLoInLecture directly in Coq in order to have a suitable environment to prove stuff in FitchStyle inside of Coq.
Updated 
Project repository for advanced discretization methods Spring term 2022
Updated 

Updated

Meine Seminararbeit im Seminar AKSS im Wintersemester 2015/2016
UpdatedUpdated 
Florian Fischer / allocbench
GNU General Public License v3.0 or laterA comprehensive POSIX allocator benchmark environment
Updated 
Updated

AnyCall (bpftask) evaluation scripts and build environment.
Updated 
Luis Gerhorst / AnyCall Tests and Benchmarks
BSD 3Clause "New" or "Revised" LicenseLibBPFbased usage examples and benchmarks for AnyCall.
Updated 
Stefan Gehr / arduinoblockcourse
GNU Affero General Public License v3.0Updated 
Updated

Luci Project / ATC23 Artifact Evaluation
GNU Affero General Public License v3.0Luci ATC23 Artifact Evaluation
Updated 
The boring elaboration of my bachelor thesis. If the build succeeds the latest version can be downloaded here: https://gitlab.cs.fau.de/sedrubal/bachelorthesis/builds/artifacts/master/browse/?job=renderpaper
Updated 
The boring presentation of my bachelor thesis. If the build succeeds the latest version can be downloaded here: https://gitlab.cs.fau.de/sedrubal/bachelorthesispresentation/builds/artifacts/master/browse/?job=renderpresentation
Updated 
Michael Sammler / BBICoq
MIT LicenseUpdated 
Johannes Knödtel / bd_chapter
MIT LicenseUpdated 
Historische i4Beamervorlage aus dem 18. Jahrhundert (oder so)
Updated