Explore projects

View sp-wiki project

Lehrstuhl für Informatik 4 (Systemsoftware) / Public / sp-wiki

0

Updated May 14, 2024

0 0 0 0

Updated May 14, 2024
View aladdin project

gene / aladdin
GNU General Public License v3.0 only

The Aladdin Evaluation Framework

0

Updated May 13, 2024

0 1 0 0

Updated May 13, 2024
View EZS_Uebung_1_Atakan project

Atakan Tosun / EZS_Uebung_1_Atakan

0

Updated May 09, 2024

0 0 0 0

Updated May 09, 2024
View DeepLearningExercise project

Atharva Dharmadhikari / DeepLearningExercise

0

Updated May 07, 2024

0 0 0 0

Updated May 07, 2024
View Deep Learning Exercise project

Deep Learning / Deep Learning Exercise

0

Updated May 07, 2024

0 0 0 0

Updated May 07, 2024
View AI 1 project project

Abdalla Mahmoud Amin Mohamed / AI 1 project

0

Updated May 01, 2024

0 0 0 0

Updated May 01, 2024
View fpga-game project

Aaron Sommer / fpga-game

0

Updated May 01, 2024

0 0 0 0

Updated May 01, 2024
View lilo project

Christian Schuster / lilo

0

Updated Apr 29, 2024

0 0 0 0

Updated Apr 29, 2024
View CipMap project

CipMap / CipMap
GNU General Public License v3.0 only

3

Updated Apr 28, 2024

3 1 0 34

Updated Apr 28, 2024
View FAUST CTF 2024-04-27 project

Stefan Gehr / FAUST CTF 2024-04-27

0

Updated Apr 28, 2024

0 0 0 0

Updated Apr 28, 2024
View signac_config project

Navid Panchi / signac_config
BSD 3-Clause "New" or "Revised" License

0

Updated Apr 23, 2024

0 0 0 0

Updated Apr 23, 2024
View Stuve Etherpad Plugin project

StuveFAU / Ref IT / Stuve Etherpad Plugin
Other

0

Updated Apr 21, 2024

0 0 0 0

Updated Apr 21, 2024
View Coq Exercises project

Max Ole Elliger / Coq Exercises
GNU General Public License v3.0 or later

Kleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.

Coq

12

Updated Apr 18, 2024

12 2 1 3

Updated Apr 18, 2024
View Coq Exercises project

Maximilian Beetz / Coq Exercises
GNU General Public License v3.0 or later

Kleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.

0

Updated Apr 18, 2024

0 0 0 0

Updated Apr 18, 2024
View Robotino project

Dong Zhang / Robotino

0

Updated Apr 17, 2024

0 0 0 0

Updated Apr 17, 2024
View NMPC_article project

Changming Yang / NMPC_article

0

Updated Apr 14, 2024

0 0 0 0

Updated Apr 14, 2024
View Algebra of Programming summary project

Philip Kaluđerčić / Algebra of Programming summary
Creative Commons Attribution Share Alike 4.0 International

1

Updated Apr 11, 2024

1 0

Updated Apr 11, 2024
View Template Coq-Project project

Max Ole Elliger / Template Coq-Project
GNU General Public License v3.0 or later

Coq

0

Updated Apr 11, 2024

0 0 0 3

Updated Apr 11, 2024
View quiz-nextjs project

Clara Rostock / quiz-nextjs
Mozilla Public License 2.0

0

Updated Mar 30, 2024

0 0 0 0

Updated Mar 30, 2024
View PFM project

Falguni Ghosh / PFM
GNU General Public License v3.0 or later

0

Updated Mar 29, 2024

0 0 0 0

Updated Mar 29, 2024