Discover @Joshua27 Open Source projects

Joshua Schmidt (@Joshua27)

Joshua27

Stars
5
Global Rank 1,435,387 (Top 50 %)
Followers 10
Following 18
Registered over 11 years ago
Most used languages

Java
50.0 %

Prolog
50.0 %
Location 🇩🇪 Germany
Country Total Rank 49,392
Country Ranking

Prolog
55

Java
7,852

ProBramSynthesis

Program Synthesis for B in ProB

SICStusPrologFuzzer

SICStus Prolog Fuzzer - including an extension to generate predicates and expressions in (Event-)B represented as abstract syntax trees