Explore projects
-
Dies ist mein zweites Thesenpapier im Aufbaumodul des Zertifikatslehrgangs Gender Pro MINT der TU Berlin.
Updated -
Updated
-
Hendrik Bauerfeind / Graph Transformer
Apache License 2.0Updated -
This repository contains the firmware files for the HT Peak-Voltmeter project.
Updated -
ProveIT / Isabelle Server Manager
GNU Affero General Public License v3.0Isabelle server supervisor and load balancer
Updated -
ProveIT / isalink
GNU Affero General Public License v3.0Isabelle Server Client and Protocol library for Golang
Updated -
Joshua Balthasar Kobschätzki / isalink
GNU Affero General Public License v3.0UpdatedUpdated -
-
Markus Valtin / MaltabBuildroot_FPGA
GNU General Public License v2.0 or laterUpdated -
Updated
-
Updated
-
Updated
-
-
-
Updated
-
Updated