Name: Joshua Schmidt
Type: User
Company: University of Düsseldorf
Bio: Postdoctoral research associate at Heinrich Heine University Duesseldorf. Interested in artificial intelligence, formal methods and programming languages.
Location: Düsseldorf
Blog: joshua27.github.io
bsynthesis
Repair and Generation of Formal Models Using Synthesis (User Interface)
bsynthesisdatagenerator
Generate data from B/Event-B predicates which can be used to train statistical models predicting components for inductive program synthesis.
cbc_benchmarks
flutter_issue_78247
Minimal reproducible example showing that we can't get a better resolution than 720p in the image stream provided by flutter's camera plugin.
fmics2021_benchmarks
Benchmarks for our submission "Improving SMT Solver Integrations for the Validation of B and Event-B Models" to FMICS21
joshua27.github.io
prob_smt_benchmarks
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
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
survey_kit
Flutter library to create beautiful surveys (aligned with ResearchKit on iOS)
ultimatetictactoe
Play the classic or ultimate Tic-Tac-Toe on your Android device.
z3
The Z3 Theorem Prover
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
