Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with asmeta

A curated list of projects in awesome lists tagged with asmeta .

https://github.com/isaacmaffeis/javatoavalla

Converts java scenarios into the Avalla language.

antlr4 asmeta java-8

Last synced: 20 Jan 2025

https://github.com/isaacmaffeis/asmetal2java

Asmetal2java is a tool that automatically generates a Java file from an Abstract State Machine (ASM) specification written in Asmeta.

asmeta java xtend

Last synced: 12 Jan 2025

https://github.com/isaacmaffeis/gaming_console-testing

Exam project of the university course: Testing and Software Verification

asmeta codecoverage java jframe jml junit4 maven travis-ci verifycode

Last synced: 12 Jan 2025

https://github.com/isaacmaffeis/workspace-testing2023

Eclipse workspace of the Software Testing and Verification academic course

asmeta codecoverage java openjml testing

Last synced: 12 Jan 2025