Pinned Repositories
activity-gamma-tdk
Thesis template for LaTeX documents.
aoc-2022
BenchmarkDataPool
This is a folder collecting the benchmark results from the teams.
fizz_buzz
Fully tested functional style fizz-buzz generator
gamma-statechart-simulator
Simulator for the https://inf.mit.bme.hu/en/gamma Composition Framework.
kotlin
The Kotlin Programming Language.
sudoku-solver
svg-taylor-series-animator
This is my homework for Java class. This project is about the fourier series simulation found in this video: https://www.youtube.com/watch?v=r6sGWTCMz2k&feature=em-uploademail
gamma
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
semantifyr
A framework to support the declarative definition of engineering model semantics
arminzavada's Repositories
arminzavada/gamma-statechart-simulator
Simulator for the https://inf.mit.bme.hu/en/gamma Composition Framework.
arminzavada/kotlin
The Kotlin Programming Language.
arminzavada/sudoku-solver
arminzavada/activity-gamma-tdk
Thesis template for LaTeX documents.
arminzavada/aoc-2022
arminzavada/BenchmarkDataPool
This is a folder collecting the benchmark results from the teams.
arminzavada/fizz_buzz
Fully tested functional style fizz-buzz generator
arminzavada/gamma
The Gamma Statechart Composition Framework
arminzavada/kotlin-game-of-life
Simple game of life game in Kotlin + TornadoFX
arminzavada/mms5-deployment
YAML files for deployment of MMS5 services in k8s
arminzavada/svg-taylor-series-animator
This is my homework for Java class. This project is about the fourier series simulation found in this video: https://www.youtube.com/watch?v=r6sGWTCMz2k&feature=em-uploademail
arminzavada/cv
arminzavada/mms5-layer1-service
arminzavada/SysML-v2-Applications-and-Examples
arminzavada/the-algorithm
Source code for Twitter's Recommendation Algorithm
arminzavada/theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
arminzavada/ve-confluence
View Editor 4
arminzavada/ve-confluence-app
View Editor app for Atlassian Confluence