Pinned Repositories
cloud-examples
mabap
maml
MAML - Münster App Modeling Language
md2-framework
MD2 – Model-driven Mobile Development
md2-testApps
Collection of test apps written in MD2's DSL
muggl
A Symbolic ATCG
muli
:horse: Project collection for Muli. Features a custom compiler and a symbolic Java virtual machine that support constraint-logic object-oriented programming.
resteasy-example
Example projects for RESTEasy service and client
tap17-muggl-javaee
The symbolic execution test-case generator Muggl extended with Java EE and JPA support. Artifact for TAP 17 conference.
tutorials
Tutorials provided by the Group for Practical Computer Science
Lehrstuhl für Praktische Informatik's Repositories
wwu-pi/md2-framework
MD2 – Model-driven Mobile Development
wwu-pi/muli
:horse: Project collection for Muli. Features a custom compiler and a symbolic Java virtual machine that support constraint-logic object-oriented programming.
wwu-pi/maml
MAML - Münster App Modeling Language
wwu-pi/md2-testApps
Collection of test apps written in MD2's DSL
wwu-pi/cloud-examples
wwu-pi/muggl
A Symbolic ATCG
wwu-pi/acse-docker-java
A simple example for a Java Docker container
wwu-pi/acse-statistics-with-kafka
Example project demonstrating some functionalities of Spring for Apache Kafka
wwu-pi/acse-statistics-with-mom
Example project demonstrating JMS
wwu-pi/adder-application
Example Spring Boot MVC application
wwu-pi/library-application
wwu-pi/mabap
wwu-pi/midstr
wwu-pi/rest-application
Simple Rest Application with Client
wwu-pi/resteasy-example
Example projects for RESTEasy service and client
wwu-pi/soap-application
wwu-pi/spring-library-application
wwu-pi/md2-android-library
wwu-pi/tutorials
Tutorials provided by the Group for Practical Computer Science
wwu-pi/acse-soap-adder
wwu-pi/acse_2020_soap_rest_demo
wwu-pi/ankle-rehab-examples
wwu-pi/HLPP2020_ACO_Programs
wwu-pi/java2graph
wwu-pi/maml-generator
wwu-pi/muli-classpath
Classpath library shared by Muli programs and the corresponding runtime.
wwu-pi/muli-env
Runtime environment for Muli programs.
wwu-pi/muli-lang
Muli compiler that augments a Java 8 compiler. Leverages the JastAdd / ExtendJ compiler frameworks.
wwu-pi/musket-material
wwu-pi/musket_dsl
The Muenster Skeleton Tool for High-Performance Code Generation