GitHub topics: asmeta
isaacmaffeis/asmetal2java
Asmetal2java is a tool that automatically generates a Java file from an Abstract State Machine (ASM) specification written in Asmeta.
Language: Java - Size: 2.15 MB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
isaacmaffeis/javaToAvalla
Converts java scenarios into the Avalla language.
Language: Java - Size: 1.62 MB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
lorenzoconti/university-programming
University Programming Course Projects: Cyclone, C++, Scala & ASM
Language: C++ - Size: 1.17 MB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
lorenzoconti/pickr
University Testing Course: Tesing a Flutter Application
Language: Dart - Size: 8.27 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
isaacmaffeis/workspace-testing2023
Eclipse workspace of the Software Testing and Verification academic course
Language: Java - Size: 15 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
lucapari/libreriaDigitale-Asmeta
Progetto realizzato per il corso "Informatica III - modulo Programmazione" che si pone l'obiettivo di utilizzare i principali costrutti di Asmeta.
Language: Assembly - Size: 1.36 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
isaacmaffeis/gaming_console-Testing
Exam project of the university course: Testing and Software Verification
Language: Java - Size: 1.02 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1
mpiffari/Informatica_III_A
Progettini Info III A
Language: TeX - Size: 24.7 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
lucaghislo/1052975_progetti_modulo_programmazione
Questa repository contiene tutti i progetti relativi al modulo di programmazione del corso di Informatica III.
Language: HTML - Size: 128 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
marcobisceglia/asmeta-shop
Little shop with Asmeta framework for university project.
Language: Assembly - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
SudatiSimone/Programming
4 programming Projects: Cyclone, Asmeta, Cpp and Scala
Language: Assembly - Size: 172 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
