Joshua27
Follow
-
survey_kit Public
Forked from QuickBirdEng/survey_kitFlutter library to create beautiful surveys (aligned with ResearchKit on iOS)
-
-
prob_smt_benchmarks Public
Benchmarks from our submission "SMT Solving for the Validation of B and Event-B Models" to the International Journal on Software Tools for Technology Transfer
Prolog UpdatedMay 12, 2022 -
ProBramSynthesis Public
Program Synthesis for B in ProB
-
fmics2021_benchmarks Public
Benchmarks for our submission "Improving SMT Solver Integrations for the Validation of B and Event-B Models" to FMICS21
UpdatedMay 25, 2021 -
flutter_issue_78247 Public
Minimal reproducible example showing that we can't get a better resolution than 720p in the image stream provided by flutter's camera plugin.
Makefile UpdatedMar 16, 2021 -
BSynthesisDataGenerator Public
Generate data from B/Event-B predicates which can be used to train statistical models predicting components for inductive program synthesis.
Kotlin UpdatedMay 25, 2020 -
-
BSynthesis Public
Repair and Generation of Formal Models Using Synthesis (User Interface)
Java UpdatedOct 26, 2018 -
SICStusPrologFuzzer Public
SICStus Prolog Fuzzer - including an extension to generate predicates and expressions in (Event-)B represented as abstract syntax trees
-
UltimateTicTacToe Public
Play the classic or ultimate Tic-Tac-Toe on your Android device.
UpdatedOct 9, 2016