Tim Kräuter (@timKraeuter)
github

timKraeuter

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    84
  • Global Rank 235,036 (Top 9 %)
  • Followers 10
  • Following 2
  • Registered about 8 years ago
  • Most used languages
    TeX
         40.0 %
    JavaScript
         26.7 %
    Java
         26.7 %
    Rust
         6.7 %
  • Location 🇩🇪 Germany
  • Country Total Rank 13,437
  • Country Ranking
    TeX
         515
    Rust
         1,315
    Java
         1,878
    JavaScript
         2,470

Top repositories

1

object-diagram-js

A object diagram rendering toolkit and web modeler.
JavaScript
40
star
2

VisualDebugger

https://plugins.jetbrains.com/plugin/16851-visual-debugger
Java
19
star
3

rust_bpmn_analyzer

A BPMN-specific model checker written in Rust.
Rust
6
star
4

BPMN-Analyzer

Java
4
star
5

TERMGRAPH-2022

Sources for my extended abstract at TERMGRAPH-2022
TeX
2
star
6

object-diagram-moddle

JavaScript
2
star
7

CategoryOfTransitionSystems

Implements the category of transition systems including calculating a pullback for this category.
Java
2
star
8

ICSE-2024

Sources and artifacts for the IDE@ICSE-2024 publication.
TeX
1
star
9

ICSME-2022

Sources and artifacts for the ICSME-2022 publication.
TeX
1
star
10

Visual_Debugging_in_IntelliJ

TeX
1
star
11

timKraeuter

1
star
12

PCS955-DAT355

Java
1
star
13

NWPT-2021

NWPT-2021 abstract
TeX
1
star
14

MODELS-2021

Sources for the MODELS-2021 publication.
TeX
1
star
15

object-diagram-js-differ

JavaScript
1
star
16

bpmn-analyzer-js

A BPMN modeler with integrated control-flow analysis and quick-fixes.
JavaScript
1
star