Published March 3, 2025 | Version v0.1
Software Open

The Mimosa Language - Software Artifact

Creators

  • 1. Uppsala University

Description

This repository contains tools for working with Mimosa, a programming language specifically made for embedded (control) applications. It builds upon the MIMOS model of computation.

For further details, please refer to the README, and to the following paper:

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi
https://doi.org/10.48550/arXiv.2503.02557

Files

nikolaushuber/mimosa-v0.1.zip

Files (332.2 kB)

Name Size Download all
md5:8937c4ebfac76533b0408deb55fa5b7c
332.2 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/nikolaushuber/mimosa/tree/v0.1 (URL)
Preprint: 10.48550/arXiv.2503.02557 (DOI)

Software

Repository URL
https://github.com/nikolaushuber/mimosa
Programming language
OCaml