Explore projects
-
ProveIT / isalink
GNU Affero General Public License v3.0Isabelle Server Client and Protocol library for Golang
Updated -
Updated
-
Leon Alexander Albrecht / Serenity-Mirror
BSD 2-Clause "Simplified" LicenseUpdated -
Updated
-
Updated
-
Mirko Lorenz Dietrich / vortrag.webtech
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
innodoc / innoDoc Web App
GNU Affero General Public License v3.0⚠ ️ This repository has been moved to https://github.com/innodoc/innodoc-webappHTML viewer for interactive educational content.
Archived 0Updated -
TEADAL / Advocate Demo Kubernetes
MIT LicenseUpdated -
TEADAL / Advocate Contracts
MIT LicenseThese are the smart contracts used by advocate and the trust layer of TEADAL.
UpdatedUpdated -
UB / Public / aviDa / avida-dspace-angular
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Lorenzo Imöhl von Flocken / semesterbingo
MIT LicenseUpdated -
Updated
-
Updated
-
Updated
-
Updated