A project for analyzing Timed Automata.
Updated 2024-10-11 23:50:16 +00:00
DSL for the description of metamodels in Langium
Updated 2024-09-11 21:05:18 +00:00
A glossy Matrix collaboration client for the web.
Updated 2024-08-20 11:44:37 +00:00
Updated 2023-06-23 07:20:46 +00:00
Updated 2022-11-07 15:58:52 +00:00
The website vault (vault.bitwarden.com).
Updated 2020-03-24 15:26:50 +00:00