Beast code in Giters

Thomas Kühn's repositories

Search

[Search] is a Java based framework for problem solving through searching. It's inspired by the lecture 'Grundlagen der künstlichen Intelligenz' and is based on algorithms introduced in the Book 'Artificial Intelligence - A modern Approach' by Stuart J. Russell, Peter Norvig et al.

Language:JavaNOASSERTION400

FRaMED-2.0

FRaMED 2.0 is the reimplementation of the Full-fledged Role Modeling EDitor allowing the graphical specification of Role-based Software Systems by means of compartments (aka. contexts), objects, roles, and relationships.

Language:JavaEPL-2.03 2 22

FRaMED-io

This is the repository for the web-based reimplimentation of the FRaMED 2.0 editor for the family of role-based modeling languages.

Language:KotlinMIT300

abstraction-quality

Command line script to compute metrics determining the appropriateness and generality of abstractions.

Language:RubyMIT200

gsresearch

Is a collection of proof of concept tools that allows for automatically grabing bibtex entries from science search engines, i.e., Google Scholar.

Language:RubyMIT2 3 8

CROM

The Compartment Role Object Model (CROM) metamodel is a feature complete, comprehensive metamodel for role-based modeling and programming languages.

Language:XtendMIT1 4 1

formalCROM

A simple, comprehensive formalization of Compartment Role Object Models (CROM).

Language:PythonMIT100

panruby

A lightweight ruby front-end for pandoc that allows the usage of ERB-style templates within mutlimarkdown files

Language:TeXGPL-3.0100

plantuml-petrinets

This is a small includable plantUML library for defining Petri Nets in plantUML.

MIT100

bibfilter

Is a lightweight commandline tool to filter bibtex files. It was tailored to work together with gsresearch.

Language:RubyMIT000

CROF

Contextual and Relational Role-based Modeling Framework based on the Compartment Role Object Model.

Language:JavaMIT03 11

CROF-Example

Running Example for the CROF paper

Language:JavaMIT000

CROF-FileSystem

Another example for the CROM-based Modeling Framework using a simple FileSystem.

MIT000

CROM-Validator

The CROM Validator is a plugin for FRaMED 2.0, for detecting well-formedness errors in CROM models.

Language:Java000

EditpolicyDSL

A DSL for the simple creation of editpolicy models for the FRaMED 2.0 software product line.

Language:JavaEPL-2.0000

FRaMED-Example

Role Modeling Examples for the Full-fledged Role Modeling EDitor (FRaMED)

Language:PythonEPL-1.0000

hwsearch

HWsearch is a tool to collect informations on hardware products from internet shops.

Language:RubyGPL-2.0000

JConHT

Java implemented reasoner for contextualized description logics based on HermiT

GPL-3.0000

jo-s-fine

Test Website to be deployed to jo-s-fine.art

000

RoSI_CROM

This generator is a proof of concept implementation, which can generate metamodels for the various role-based modeling and programming languages. It employs both the FeatureIDE and DeltaEcore, which in turn are based on the Eclipse Modeling Framework.

Language:CucumberEPL-1.0000

Eden-06