joyheron/eventb_gen joyheron/eventb_gen

  • Stars
    star
    1
  • Language
    Java
  • Created over 9 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
joyheron/eventb_gen
github

joyheron

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An experiment to see how easy it is to combine the ProB 2.0 EventB Model Generation API with the EventB Structural parser in order to create a simple application to generate EventB models from text files.

More Repositories

1

responsible-web-apps

Develop Responsive and Accessible Web Applications out-of-the-box
HTML
39
star
2

brainf_prolog_interpreter

A Brainf*** Interpreter written in SWI Prolog
Prolog
7
star
3

responsive-nav

A responsive navigation component which is optimized for mobile
HTML
5
star
4

cytoscojure

A ClojureScript Wrapper for the cytoscape JavaScript Library
Clojure
4
star
5

spring-boot-pattern-library

A pattern library implementation using Spring Boot as its engine and Thymeleaf as its templating language
Java
3
star
6

a11y-playground

An HTML Playground for testing different concepts with a Screenreader
HTML
3
star
7

cookie-jar

The Cookie Jar Challenge: How do we model / handle application state?
Clojure
3
star
8

joyheron.github.io

My Home Page
HTML
1
star