All Projects → TheoLog → Similar Projects or Alternatives

191 Open source projects that are alternatives of or similar to TheoLog

FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Stars: ✭ 31 (+55%)
dsge
Course on Dynamic Stochastic General Equilibrium (DSGE): Models, Solution, Estimation (graduate level)
Stars: ✭ 41 (+105%)
Mutual labels:  teaching, teaching-materials
theolog-ss2017
Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
Stars: ✭ 18 (-10%)
polisci150b
Machine Learning for Social Science
Stars: ✭ 56 (+180%)
Mutual labels:  teaching, teaching-materials
Data science for biologists 2019
Lab materials for the University of Washington course Data Science for Biologists (Winter 2019, BIO419/519)
Stars: ✭ 25 (+25%)
Mutual labels:  teaching, teaching-materials
reinforcement learning course materials
Lecture notes, tutorial tasks including solutions as well as online videos for the reinforcement learning course hosted by Paderborn University
Stars: ✭ 765 (+3725%)
Mutual labels:  teaching, teaching-materials
teach-r
List of Resources for Teaching R
Stars: ✭ 16 (-20%)
Mutual labels:  teaching, teaching-materials
deep-learning-german-tts
Thorsten-Voice: A free to use, offline working, high quality german TTS voice should be available for every project without any license struggling.
Stars: ✭ 268 (+1240%)
Mutual labels:  german
advanced-pandas
Pandas is a powerful tool for data exploration and analysis (including timeseries).
Stars: ✭ 22 (+10%)
Mutual labels:  teaching-materials
GKey
German Keyboard Layout for TempleOS
Stars: ✭ 20 (+0%)
Mutual labels:  german
cas
Cellular Automata Simulator
Stars: ✭ 22 (+10%)
Mutual labels:  complexity
SystemesInformatiques
Cours de Systèmes informatiques (C, Unix/Linux, ...)
Stars: ✭ 41 (+105%)
Mutual labels:  teaching-materials
lsw2
OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
Stars: ✭ 22 (+10%)
Mutual labels:  first-order-logic
PhantomBotDE
PhantomBotDE 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 (+20%)
Mutual labels:  german
teaching-app-dev-swift-archive
DEPRECATED. Teaching App Development with Swift materials, bundled up as a single archive.
Stars: ✭ 14 (-30%)
Mutual labels:  teaching
full-teaching
A web application to make teaching online easy. WARNING: the updated version of this repo is now in the link below
Stars: ✭ 34 (+70%)
Mutual labels:  teaching
teach-shiny
Materials for the Shiny Train the Trainer workshop
Stars: ✭ 38 (+90%)
Mutual labels:  teaching
reflective-diary
Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)
Stars: ✭ 25 (+25%)
Mutual labels:  teaching
bads
Demo codes, tutorials, and exercises for the master lecture Business Analytics and Data Science offered by the Chair of Information Systems at the Humboldt-University of Berlin
Stars: ✭ 32 (+60%)
Mutual labels:  teaching-materials
Teaching
My lecture notes and other course materials
Stars: ✭ 28 (+40%)
Mutual labels:  teaching
CoinTaxman
Calculate your taxes from cryptocurrency gains
Stars: ✭ 110 (+450%)
Mutual labels:  german
eslintcc
Complexity of Code - JavaScript/TypeScript
Stars: ✭ 15 (-25%)
Mutual labels:  complexity
pandoc-lecture
This 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 (+260%)
Mutual labels:  teaching-materials
course-materials
Study material (slides, documents, etc) for the Web Applications I course (Politecnico di Torino, 2019/2020)
Stars: ✭ 23 (+15%)
Mutual labels:  teaching-materials
swe
Examples and exercises used during Software Engineering course
Stars: ✭ 18 (-10%)
Mutual labels:  teaching-materials
R-data-wrangling
Materials for my my R data workshop. https://cengel.github.io/R-data-wrangling/
Stars: ✭ 17 (-15%)
Mutual labels:  teaching
constyble
CSS complexity linter
Stars: ✭ 92 (+360%)
Mutual labels:  complexity
git-guia-basico
📜 Algumas dicas básicas para Git
Stars: ✭ 19 (-5%)
Mutual labels:  teaching
SoMeWeTa
A part-of-speech tagger with support for domain adaptation and external resources.
Stars: ✭ 20 (+0%)
Mutual labels:  german
Remote-Work-and-Study-Resources
Free services, tools, articles and other resources for remote workers and distance learners
Stars: ✭ 49 (+145%)
Mutual labels:  teaching
QBot
Question Bot - plugin for Microsoft Teams
Stars: ✭ 73 (+265%)
Mutual labels:  teaching
calfem-matlab
CALFEM - a finite element toolbox for MATLAB
Stars: ✭ 53 (+165%)
Mutual labels:  teaching
antropy
AntroPy: entropy and complexity of (EEG) time-series in Python
Stars: ✭ 111 (+455%)
Mutual labels:  complexity
disco
Functional teaching language for use in a discrete mathematics course
Stars: ✭ 132 (+560%)
Mutual labels:  teaching
teaching-open
Scratch少儿编程教学平台,集成Scratch、ScratchJr、Python教学工具。包含课程、班级、作业、权限、赛事、社区等。
Stars: ✭ 202 (+910%)
Mutual labels:  teaching
coq-big-o
A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
Stars: ✭ 31 (+55%)
Mutual labels:  complexity
Awesome-Neural-Logic
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断,神经逻辑,强人工智能逻辑推理前沿领域。
Stars: ✭ 106 (+430%)
Mutual labels:  first-order-logic
HistoryOfMe
Your own personal diary.
Stars: ✭ 50 (+150%)
Mutual labels:  german
10kGNAD
Ten Thousand German News Articles Dataset for Topic Classification
Stars: ✭ 63 (+215%)
Mutual labels:  german
consistency
Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
Stars: ✭ 26 (+30%)
Mutual labels:  first-order-logic
safari-training-react
Code examples and exercises for Safari LiveTraining course.
Stars: ✭ 12 (-40%)
Mutual labels:  teaching
Legal-Entity-Recognition
A Dataset of German Legal Documents for Named Entity Recognition
Stars: ✭ 98 (+390%)
Mutual labels:  german
Wortuhr
Software für eine ESP8266 basierte Wortuhr mit verschiedenen Layouts
Stars: ✭ 30 (+50%)
Mutual labels:  german
jiten
jiten - japanese android/cli/web dictionary based on jmdict/kanjidic — 日本語 辞典 和英辞典 漢英字典 和独辞典 和蘭辞典
Stars: ✭ 64 (+220%)
Mutual labels:  german
awesome-made-by-germans
🇩🇪 The best open source projects that were made and mainly contributed by German developers
Stars: ✭ 170 (+750%)
Mutual labels:  german
NumberRush
A number based React game to help you learn German numbers! 🇩🇪
Stars: ✭ 20 (+0%)
Mutual labels:  german
seb-mac
Safe Exam Browser for macOS and iOS
Stars: ✭ 74 (+270%)
Mutual labels:  teaching
CRAWLAB-Code-Snippets
Small pieces of code for use in CRAWLAB research
Stars: ✭ 12 (-40%)
Mutual labels:  teaching
MachineLearningIntro
Machine learning use cases for teaching
Stars: ✭ 15 (-25%)
Mutual labels:  teaching-materials
traindrop.github.io
TrainDrop organizations pages
Stars: ✭ 14 (-30%)
Mutual labels:  teaching-materials
language-detector
Detect the language of text
Stars: ✭ 28 (+40%)
Mutual labels:  german
python-algorithms
Practices to solve problems with Python
Stars: ✭ 37 (+85%)
Mutual labels:  complexity
BestPracticesWorkshop
Repository for the workshop "Best practices on development"
Stars: ✭ 14 (-30%)
Mutual labels:  teaching
benchmark-trend
Measure performance trends of Ruby code
Stars: ✭ 60 (+200%)
Mutual labels:  complexity
2018-dlsl
UPC Deep Learning for Speech and Language 2018
Stars: ✭ 18 (-10%)
Mutual labels:  teaching-materials
DLAIE
Materials for Hawley's Deep Learning & AI Ethics course
Stars: ✭ 27 (+35%)
Mutual labels:  teaching-materials
openredact-app
This is a prototype of a semi-automatic data anonymization app for German documents.
Stars: ✭ 14 (-30%)
Mutual labels:  german
Scipy-Bordeaux-2017
Course taught at the University of Bordeaux in the academic year 2017 for PhD students.
Stars: ✭ 16 (-20%)
Mutual labels:  teaching
l2kurz
German short introduction to LaTeX
Stars: ✭ 19 (-5%)
Mutual labels:  german
data-science-training
Reproducible data science with R, RStudio, Git, and GitHub
Stars: ✭ 18 (-10%)
Mutual labels:  teaching
1-60 of 191 similar projects