Georg Hinkel (georghinkel)

georghinkel

Geek Repo

Company:Rhein-Main University of Applied Sciences

Github PK Tool:Github PK Tool


Organizations
tecan

Georg Hinkel's starred repositories

ttc2019-tt2bdd

Free form TTC contest (Truth tables to Binary Decision Diagrams, from ATL Zoo)

Language:Jupyter NotebookLicense:MITStargazers:1Issues:0Issues:0

state-elimination-mt

created for TCC 2017

Stargazers:1Issues:0Issues:0
Language:C#License:MITStargazers:1Issues:0Issues:0

ttc2018liveContest

The repository for the TTC 2018 Live Contest

Language:C#License:MITStargazers:1Issues:0Issues:0

ttc2019-live

Live contest for TTC2019: BibtexXML to Docbook consistency

Language:TeXLicense:MITStargazers:1Issues:0Issues:0
Language:BatchfileStargazers:1Issues:0Issues:0

ttc21_NMF

This repository contains the code for the Incremental Laboratory Workflow case at the TTC 2021

Language:C#License:MITStargazers:1Issues:0Issues:0

decker

A markdown based tool for slide deck creation.

Language:JavaScriptLicense:GPL-3.0Stargazers:55Issues:0Issues:0

dfg

A LaTeX template for a basic DFG (Deutsche Forschungsgemeinschaft, German Research Foundation) grant proposal.

Language:TeXLicense:GPL-3.0Stargazers:64Issues:0Issues:0

commandline

The best C# command line parser that brings standardized *nix getopt style, for .NET. Includes F# support

Language:C#License:MITStargazers:4465Issues:0Issues:0

keycloak

Open Source Identity and Access Management For Modern Applications and Services

Language:JavaLicense:Apache-2.0Stargazers:21159Issues:0Issues:0

NMF

This repository contains the entire code for the .NET Modeling Framework

Language:C#License:BSD-3-ClauseStargazers:35Issues:0Issues:0

grpc

The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)

Language:C++License:Apache-2.0Stargazers:41245Issues:0Issues:0

LibUsbDotNet

My updates to LibUsbDotNet, an excellent library for cross-platform USB device control using Mono/.NET

Language:C#License:LGPL-3.0Stargazers:535Issues:0Issues:0

uscxml

SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua

Language:C++License:NOASSERTIONStargazers:103Issues:0Issues:0