219 Open source projects that are alternatives of or similar to theolog-ss2017

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden

Create linked objects (datapoints) of your devices with a self-defined structure. This makes it possible to create a structure in ioBroker, where all objects are centralized, e.g. to be used in the vis or scripts.

Lecture notes, tutorial tasks including solutions as well as online videos for the reinforcement learning course hosted by Paderborn University

A curated list of awesome philosophy

📚 Here are 450 Ivy League courses you can take online right now for free

nlp lecture-notes and source code

Lecture content for Intro to Data Science 2018

Notes and cheatsheets from NUS modules taken as part of the Computer Science curriculum.

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

University site and CMS implemented with Spring Boot.

No description or website provided.

Course materials for the Geo-Python course at the University of Helsinki, Finland

🇩🇪 The best open source projects that were made and mainly contributed by German developers

Plantilla LaTeX para la elaboración de TFG y TFM en la Escuela Politécnica Superior de la Universidad de Alicante

Telkom University open source projects

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

👥 轻松创建研究组或组织网站 Easily create a stunning Research Group, Team, or Business Website with no-code

android lecture notes

Your own personal diary.

Unofficial notes for modules offered in the first year of Computer Science by the University of Warwick

truth-table-generator is a tool that allows to generate a truth table

📓📲 Flutter app for managing study materials in form of photos.

Python Compiler

UOC notifier for Google Chrome

An easy to use python package for deep learning-based german sentiment classification.

Planning universitaire réalisé en Nuxt.js

Uma lista de provas das disciplinas ministradas na Universidade Federal do Maranhão.

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.

Lectures and computer labs storage for IW5 course at FIT VUT.

Electrical Engineering Python Module

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

A curated list of UVa projects

Solutions for the book "Language Proof and Logic".

Model finder for higher-order logic

SoftUni- Software Engineering

Detect the language of text

💬 Conversational bot written in Java!

Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models

A micro conditional javascript engine used to parse the raw logical and comparison expressions, evaluate the expression in the given data context, and provide access to a text form of the given expressions.

Mapping the NYC Infosec Community

德语零基础教程

German Keyboard Layout for TempleOS

Fully responsive website built with NextJS, React and Fluent UI, with the aim of providing services and access to all groups of didactic courses and general purposes to students of the University of Milan.

🖤 The API Backend of the Curiosone bot.

A predictable state management library that helps implement the BLoC design pattern

🕑 Arbeitszeitnachweis gem. Mindestlohngesetz

The 3D Public Transport Simulator is a Unity-based simulation, which uses OpenStreetMap data in order to support the simulation of worldwide locations. The development was part of a Bachelor thesis.

An open-source CRM.

Appunti di Linguaggi Formali e Compilatori - Prof.ssa P. Quaglia - Università di Trento

A symbolic model checker for Dynamic Epistemic Logic.

Este repositorio esta basado principalmente en la carrera de machine learning y data science de platzi pero también habrán recursos de otras plataformas e instituciones educativas.

🎠 광운대학교 KLAS 사이트에 편리한 기능을 추가할 수 있는 유저 스크립트

System Zapisów na zajęcia w Instytucie Informatyki Uniwersytetu Wrocławskiego

🤖 The Web App of the Curiosone bot.

Commented templates for CVs, homework, lecture notes, presentations, research papers, and essays, with commands for math/statistics symbols

source code of the PINGO web app - (see readme, wiki and http://blogs.upb.de/pingo/opensource/ for more info)

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.

Contribua com os projetos de código aberto do curso e ganhe prêmios por isso!

Switch is a small logic game that demonstrates usage of Pixar USD and Hydra on Windows.