Giters
Kai Sauerwald (Landarzar)

Landarzar

Geek Repo

4

followers

2

following

10

stars

Company:FernUniversität in Hagen

Home Page:kai-sauerwald.de

Github PK Tool:Github PK Tool

Kai Sauerwald's repositories

complexityPoster

A poster for many well known complexity classes

Language:TeXLicense:NOASSERTIONStargazers:4Issues:1Issues:0

cookbook

Language:TeXStargazers:1Issues:1Issues:0

bibtex-js

Library for parsing .bib files, used in Bibliography.js 📚

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

Carcassonne

Carcassonne für Studienzwecke implementiert

Language:JavaStargazers:0Issues:1Issues:0

dblpParser

Parser for DBLP XML dump

License:GPL-2.0Stargazers:0Issues:1Issues:0

Dreikreis

Dreikreis

Language:TeXLicense:GPL-2.0Stargazers:0Issues:1Issues:0

ECSQARU2023_sequential_merging

Code for Ismail-Tsaous, Sauerwald, Ragni, Kern-Isberner, Beierle: On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions. ECSQARU 2023

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

enumerative-combinatorics

Language:JavaLicense:LGPL-3.0Stargazers:0Issues:1Issues:0

Fachprojekt

Ergebnisse des Fachprojekt "Analyse Natürlicher Sprachen"

Stargazers:0Issues:0Issues:0

FormalLanguageTheoryTool

Language:JavaLicense:GPL-3.0Stargazers:0Issues:1Issues:0

logical-systems

Language:JavaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

hanabi

Language:JavaScriptStargazers:0Issues:0Issues:0

landarzar.github.io

Language:JavaScriptStargazers:0Issues:1Issues:0

LandarzarBot

Language:JavaStargazers:0Issues:0Issues:0

LaTeX

Language:TeXStargazers:0Issues:1Issues:0

System-P-Proof-Tree

Computes proof trees for system P inferences.

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

TelegramBot

Language:JavaStargazers:0Issues:1Issues:0

VisiblyPushdownTransducer

Automata Implimentation in Haskell with GUI

Language:HaskellStargazers:0Issues:1Issues:7

Werewolf

Language:JavaStargazers:0Issues:0Issues:0