joeri
0 followers · 0 following
  • Joined on 2024-12-19
Repositories
4
 Projects Packages Public activity Starred repositories
joeri pushed to master at joeri/argus-wasm 2025-11-03 13:34:58 +01:00
859594f779 initial commit
joeri created repository joeri/argus-wasm 2025-11-03 13:33:44 +01:00
joeri created branch dev in research/argus 2025-11-03 13:30:43 +01:00
joeri pushed to dev at research/argus 2025-11-03 13:30:43 +01:00
654a0521f7 remove suffix 'r' from string literals (fixes build)
be7fcb6c8a Release 0.1.4
46f0f60bc0 fix: semantics for bounded eventually
a295f21049 ci: separate rust and python test sessions
eab6e219ef ci: add cache for coverage
Compare 10 commits »
joeri pushed tag v0.1.4 to research/argus 2025-11-03 13:28:52 +01:00
joeri created repository research/argus 2025-11-03 13:28:14 +01:00
joeri pushed to master at research/statebuddy 2025-11-02 13:25:26 +01:00
1660b06064 fix two timers bugs
joeri pushed to master at research/statebuddy 2025-11-01 11:55:52 +01:00
1470a99665 traffic light: loop wind sound without gaps
joeri pushed to master at research/statebuddy 2025-11-01 11:40:57 +01:00
ba3b4a1235 remove debug output
joeri pushed to master at research/statebuddy 2025-11-01 11:36:24 +01:00
254dbaf2fd traffic light: every color has its own buzz sound volume
5dbe51d871 fix bug: initialization output events were not properly routed to the plant
Compare 2 commits »
joeri pushed to master at research/statebuddy 2025-10-31 16:37:34 +01:00
3a409dfe1e CSS animation speed follows simulation speed
joeri pushed to master at research/statebuddy 2025-10-31 16:28:57 +01:00
eb9792a8d7 fix firefox hanging?
joeri pushed to master at research/statebuddy 2025-10-31 15:46:15 +01:00
6a12ba5341 traffic light makes even more sounds
joeri pushed to master at research/statebuddy 2025-10-31 15:31:54 +01:00
39b286bffe traffic light timer: nice glow effect
joeri pushed to master at research/statebuddy 2025-10-31 15:26:20 +01:00
0689808703 use WebP for microwave images
joeri pushed to master at research/statebuddy 2025-10-31 15:19:39 +01:00
73c52c1867 finished traffic light example + use WebP format for images
joeri pushed to master at research/statebuddy 2025-10-31 13:09:55 +01:00
ea72f2d40b add trafficlight images
joeri pushed to master at research/statebuddy 2025-10-30 17:22:29 +01:00
d893476d1b better looking connection editor
joeri pushed to master at research/statebuddy 2025-10-30 17:15:01 +01:00
8ac5a730cc editable connections sc <-> plant
joeri pushed to master at research/statebuddy 2025-10-28 21:52:35 +01:00
e27d3c4c88 digital watch plant is now also a statechart