TheoLogVorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
Stars: ✭ 20 (+11.11%)
Mutual labels: german, theoretical-computer-science
FormaleSystemeUnterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Stars: ✭ 31 (+72.22%)
Mutual labels: german, theoretical-computer-science
learningspoonsnlp lecture-notes and source code
Stars: ✭ 29 (+61.11%)
Mutual labels: lecture-notes
HistoryOfMeYour own personal diary.
Stars: ✭ 50 (+177.78%)
Mutual labels: german
nus-notes-cheatsheetsNotes and cheatsheets from NUS modules taken as part of the Computer Science curriculum.
Stars: ✭ 97 (+438.89%)
Mutual labels: lecture-notes
awesome-made-by-germans🇩🇪 The best open source projects that were made and mainly contributed by German developers
Stars: ✭ 170 (+844.44%)
Mutual labels: german
starter-hugo-research-group👥 轻松创建研究组或组织网站 Easily create a stunning Research Group, Team, or Business Website with no-code
Stars: ✭ 148 (+722.22%)
Mutual labels: university
GKeyGerman Keyboard Layout for TempleOS
Stars: ✭ 20 (+11.11%)
Mutual labels: german
arbeitszeitnachweis🕑 Arbeitszeitnachweis gem. Mindestlohngesetz
Stars: ✭ 27 (+50%)
Mutual labels: university
SMCDELA symbolic model checker for Dynamic Epistemic Logic.
Stars: ✭ 31 (+72.22%)
Mutual labels: logic
pyCompilerPython Compiler
Stars: ✭ 13 (-27.78%)
Mutual labels: university
pandoc-lectureThis project defines a skeleton repo for creating lecture slides and handouts including lecture notes out of Pandoc Markdown (http://pandoc.org/MANUAL.html) using a single source approach.
Stars: ✭ 72 (+300%)
Mutual labels: lecture-notes
ElectricPyElectrical Engineering Python Module
Stars: ✭ 35 (+94.44%)
Mutual labels: university
awesome-uvaA curated list of UVa projects
Stars: ✭ 11 (-38.89%)
Mutual labels: university
nunchakuModel finder for higher-order logic
Stars: ✭ 40 (+122.22%)
Mutual labels: logic
language-detectorDetect the language of text
Stars: ✭ 28 (+55.56%)
Mutual labels: german
curiosone-web🤖 The Web App of the Curiosone bot.
Stars: ✭ 14 (-22.22%)
Mutual labels: university
consistencyImplementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
Stars: ✭ 26 (+44.44%)
Mutual labels: logic
PhantomBotDEPhantomBotDE ist ein aktiv Entwickelter interaktiver Open Source Twitch Bot mit einer lebendigen Community welche Unterhaltung und Moderation für deinen Kanal bietet, dieser erlaubt dir dich auf das was wirklich zählt zu Konzentrieren - dein Spiel und deine Zuschauer.
Stars: ✭ 24 (+33.33%)
Mutual labels: german