Explore projects

View GQM-Coq project

Michael Sammler / GQM-Coq
MIT License

1

Updated Jul 06, 2018

1 0 0 0

Updated Jul 06, 2018
View Campusscraper project

Gabriel Dengler / Campusscraper

1

Updated Jun 23, 2022

1 0 0 0

Updated Jun 23, 2022
View exams project

Institute of Information Systems / templates / exams

1

Updated Aug 01, 2022

1 1 0 0

Updated Aug 01, 2022
View bfs_rgm project

rusdue / bfs_rgm
MIT License

Register Machine

1

Updated Nov 03, 2018

1 0 0 0

Updated Nov 03, 2018
View thprog-merkzettel project

Marco Ammon / thprog-merkzettel
GNU General Public License v3.0 only

1

Updated Oct 10, 2018

1 0 0 0

Updated Oct 10, 2018
View seq project

Florian Guthmann / seq

1

Updated Sep 18, 2023

1 0 0 0

Updated Sep 18, 2023
View thprog-ss19 project

Philip Kaluđerčić / thprog-ss19

Braindump für die ThProg Klausur im Sommersemester 19

1

Updated Oct 08, 2021

1 2 0 0

Updated Oct 08, 2021
View live.so project

Luci Project / live.so
GNU Affero General Public License v3.0

Dynamic updates (Luci approach) via a preloaded shared object

1

Updated Jul 03, 2024

1 1 0 0

Updated Jul 03, 2024
View IDB-Zusammenfassung project

Marco Ammon / IDB-Zusammenfassung
Creative Commons Attribution Non Commercial Share Alike 4.0 International

1

Updated Feb 15, 2019

1 2 0 0

Updated Feb 15, 2019
View rk_fs project

Roman Sommer / rk_fs

Inoffizielle Formelsammlung fuer das Modul Rechnerkommunikation

1

Updated Jul 12, 2016

1 0 0 0

Updated Jul 12, 2016
View Deeplearning project

RADL / Deeplearning

1

Updated Apr 05, 2023

1 0 0 0

Updated Apr 05, 2023
View nvim project

Philipp / nvim

1

Updated Feb 01, 2023

1 0 0 0

Updated Feb 01, 2023
View foxtemp2016 project

hawo / foxtemp2016

Wireless tempdevice 2016

1

Updated Jun 11, 2018

1 0 0 0

Updated Jun 11, 2018
View tls-howto project

CIP-Admins / tls-howto

Consolidated synchronized TLS Certificate HOWTO

1

Updated Jul 03, 2022

1 2 2 0

Updated Jul 03, 2022
View faumachine project

faumachine / faumachine
GNU Lesser General Public License v2.1 only

1

Updated Dec 19, 2023

1 0 0 0

Updated Dec 19, 2023
View gene project

gene / gene
GNU General Public License v3.0 only

The GenE Benchmark Generator (LLVM tool)

1

Updated Jan 21, 2019

1 1 0 0

Updated Jan 21, 2019
View writer-iec project

Jean-Frédéric Vogelbacher / writer-iec
GNU General Public License v3.0 or later

C#-Project which writes, reades and activates IED function parameter groups using libiec61850

1

Updated Nov 02, 2022

1 0 0 0

Updated Nov 02, 2022
View syswcet-data project

syswcet / syswcet-data

1

Updated Oct 24, 2016

1 0

Updated Oct 24, 2016
View bd_chapter project

Johannes Knödtel / bd_chapter
MIT License

1

Updated Jun 25, 2016

1 0 0 0

Updated Jun 25, 2016
View VeriFence project

Luis Gerhorst / VeriFence
GNU General Public License v2.0 or later

Mitigating Spectre-PHT using Speculation Barriers in Linux eBPF (https://sys.cs.fau.de/verifence)

1

Updated Dec 31, 2025

1 0 0 0

Updated Dec 31, 2025