joeri
0 followers · 0 following
  • Joined on 2024-12-19
Repositories
4
 Projects Packages Public activity Starred repositories
joeri pushed to master at research/statebuddy 2025-11-15 13:44:26 +01:00
08d316812b open source in new tab
joeri pushed to master at research/statebuddy 2025-11-15 13:43:06 +01:00
456b85bf8f better (less annoying) colors + default editor state is error-free
8b0726ef01 better find/replace (with highlighting of all occurrences) + more consistent error visualization
Compare 2 commits »
joeri pushed to master at research/statebuddy 2025-11-14 20:45:52 +01:00
64aab1a6df grealy improved memoization
joeri pushed to master at research/statebuddy 2025-11-14 19:05:55 +01:00
7994cd6eb0 cleanup the code a bit...
1bd801ce5d less code duplication
970b9d850e getting rid of some code duplication
0266675f29 update todo
d805fa95e4 bind zoom in shortcut also to Ctrl+= (like browsers do)"
Compare 30 commits »
joeri pushed to main at teaching/mtl-aas 2025-11-13 15:27:38 +01:00
249d867b17 access log to stdout
joeri pushed to master at joeri/nixos-public 2025-11-13 15:24:51 +01:00
37bf84d755 update mtl-aas
joeri pushed to master at joeri/nixos-public 2025-11-13 15:22:58 +01:00
a381cd0780 fix sops config
d12d45b157 manage secrets with sops
Compare 2 commits »
joeri pushed to master at joeri/nixos-public 2025-11-13 13:24:38 +01:00
joeri pushed to master at joeri/nixos-public 2025-11-13 13:22:39 +01:00
af6298f0d6 update mtl-aas
6cca3342b2 Merge remote-tracking branch 'refs/remotes/origin/master'
adde0f5110 update mtl-aas
5384fc1ad4 Merge remote-tracking branch 'refs/remotes/origin/master'
fa65dbe7ce update mtl-aas config
Compare 5 commits »
joeri pushed to main at teaching/mtl-aas 2025-11-13 13:21:26 +01:00
844215b18e better error handling + log access to stderr
joeri pushed to master at joeri/nixos-public 2025-11-07 13:26:17 +01:00
c78d82c0fe i never added secrets.nix :)
joeri pushed to master at research/statebuddy 2025-11-07 08:16:05 +01:00
9fd1c3a9a7 update assignment
joeri pushed to master at research/statebuddy 2025-11-07 00:02:42 +01:00
b5a5a8a6d7 fix error in digital watch plant
joeri pushed to master at research/statebuddy 2025-11-06 22:17:20 +01:00
5fb586a5be forgot something
joeri pushed to master at research/statebuddy 2025-11-06 21:26:22 +01:00
f5c427d61b fix: plant steps were wrongly showing statechart output events
joeri pushed to master at joeri/nixos-public 2025-11-06 20:57:44 +01:00
adde0f5110 update mtl-aas
joeri pushed to main at teaching/mtl-aas 2025-11-06 20:57:11 +01:00
5ac29af132 clearer errors
joeri pushed to master at research/statebuddy 2025-11-06 19:54:00 +01:00
8ed9267cb7 update todo
5b48895c94 fix typescript error
Compare 2 commits »
joeri pushed to master at research/statebuddy 2025-11-06 19:12:06 +01:00
3c302a83c5 fix bug + more info on stored traces
49e701c7d7 nearly the entire application state is saved in URL
Compare 2 commits »
joeri pushed to master at research/statebuddy 2025-11-06 16:25:56 +01:00
c7e661eb61 can define multiple properties. can see detailed view of chosen property.