Discover @rindPHI Open Source projects

Dominic Steinhöfel (@rindPHI)

rindPHI

Stars
125
Global Rank 176,554 (Top 7 %)
Followers 28
Following 9
Registered about 14 years ago
Most used languages

Python
40.0 %

Java
20.0 %

Jupyter Notebook
13.3 %

Scala
13.3 %

Shell
6.7 %

Kotlin
6.7 %
Location 🇩🇪 Germany
Country Total Rank 10,222
Country Ranking

Scala
223

Kotlin
1,106

Python
1,939

Java
2,948

Jupyter Notebook
2,991

Shell
6,076

isla

The ISLa (Input Specification Language) language & solver.

islearn

ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.

FSAUtils

Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects

FirstOrderParser

A parser for first-order (predicate) logic, created with JavaCC. Includes basic model classes.

grammar2regex

Conversion / approximation of context-free grammars to regular expressions (custom ADT types or z3 ReRefs)

pluggabl

A symbolic execution analysis based on the Soot analysis framework.

schvalid

A Schematron validator

ProofRenderer

Transforms proof trees written in a Lisp-like syntax to bussproof LaTeX trees.

isla-bash-fuzzer

A Language-aware, Coverage-based Evolutionary Fuzzer Bash Script Based on ISLa

GrammarGraph

Creation of Graphs from Context-Free Grammars

Jupyter Notebook

ANTLR-BFG-Converter

Converts grammars in ANTLR/BGF format to and from the "Fuzzing Book" format.

NeoGrammarGraph

Performant Graph Operations on Context-Free Grammars

vim-key

Syntax Highlighting / Folding for KeY Files

FSAUtilsGUI

GUI frontend for FSAUtils for visual creation of DFA/NFA/RE and access to FSAUtils operations.

se-book-festschrift-rh

Symbolic Execution: Foundations, Techniques, Applications and Future Perspectives

Jupyter Notebook