Starred repositories
SysMD is a SysML v2/KerML tool. It offers a little entry hurdle by its Notebook-like UI. Unique to SysMD is its integrated solver that does engineering calculations in the model and checks consiste…
This repository contains all relevant ontologies for the GENIAL! project
A Kotlin Multiplatform and Compose Multiplatform implementation of the Material 2 Data Table
This repostory contains the multiplatform version of the AADD library developed by the Cyber Physical Systems Chair of the RPTU Kaiserslautern
This repository holds the Affine Arithmetic Decision Diagrams library
Example application with a desktop table view for Compose
A Collection of major Jetpack compose UI components which are commonly used.🎉🔝👌
A set of tutorial demos of virtual prototyping covering SysML, SystemC,-TLM,-AMS, ISS
An immutable, infinite-precision Rational (ratio, fraction) class for Kotlin
A simple demo project to showcase the possibilities of Jetpack Compose
Compose Multiplatform, a modern UI framework for Kotlin that makes building performant and beautiful user interfaces easy and enjoyable.
This repository holds the Affine Arithmetic Decision Diagrams library written for Java and JVM languages http://cps.cs.uni-kl.de/en/AADD
🥑 ArangoDB is a native multi-model database with flexible data models for documents, graphs, and key-values. Build high performance applications using a convenient SQL-like query language or JavaSc…
Libaffa is a C++ Affine Arithmetic library for GNU/Linux. Affine Arithmetic is a model proposed by Stolfi and Comba in the early 90's for numerical calculation. Unlike Interval Arithmetic, it keeps…