Stefan Ellmauthaler ellmau
0 Followers · 0 Following
Repositories
2
 Projects Packages Public Activity Starred Repositories
ellmau synced commits to main at ellmau/nixos from mirror 2023-05-10 22:56:49 +02:00
897fa059bc Updates to haskell setup
ellmau synced commits to xmonad at ellmau/nixos from mirror 2023-05-09 22:46:52 +02:00
5b88309340 Fix typo
f515208bb9 Add polybar_xmonad to user conf
3a8b6f54f6 Fix typos
34e6673c3e xmonad base configuration and setup
a1de91a862 Set polybar setup for i3
Compare 23 commits »
ellmau synced commits to main at ellmau/nixos from mirror 2023-05-09 22:46:52 +02:00
9bdb9fe8d2 Xmonad (#9)
ae484f8222 Remove old command for lsp-rust-analyzer in emacs config
3b9bd0546c flake.lock: Update
b844edfeac Update emacs config and provide emacs app
Compare 4 commits »
ellmau synced commits to main at ellmau/nixos from mirror 2023-05-08 22:36:56 +02:00
d45458eb0d Fix inlay hint mode
4bce5ef127 Fix typo in default.el (emacs) and set default dm for nucturne
ee0f19b323 config for rust-mode
4ed287f7aa further updates to the emacs config
a76e72214f Fix inlay mode
Compare 6 commits »
ellmau synced commits to main at ellmau/adf-obdd from mirror 2023-05-05 21:36:53 +02:00
26e978ca47 Update Cargo.lock (#148)
dd8524e02e Update dependencies in yarn.lock (#146)
Compare 2 commits »
ellmau synced commits to main at ellmau/nixos from mirror 2023-05-04 22:06:49 +02:00
0d0ca74c8a flake.lock: Update
ellmau synced and deleted reference milestone/frontend at ellmau/adf-obdd from mirror 2023-05-04 21:26:51 +02:00
ellmau synced commits to main at ellmau/adf-obdd from mirror 2023-05-04 21:26:51 +02:00
c9278cf5ce milestone/frontend (#63)
ellmau synced commits to refs/tags/0.3.1 at ellmau/adf-obdd from mirror 2023-05-04 21:26:51 +02:00
ellmau synced new reference refs/tags/0.3.1 to ellmau/adf-obdd from mirror 2023-05-04 21:26:51 +02:00
ellmau synced commits to milestone/frontend at ellmau/adf-obdd from mirror 2023-05-03 21:21:19 +02:00
f56a9bea06 Update devskim.yml
22882037bf Update README and Project Website
1cbd925eb4 Give example for custom Adf datastructure in docs
Compare 3 commits »
ellmau synced commits to main at ellmau/nixos from mirror 2023-04-28 21:21:21 +02:00
3195f75e01 flake.lock: Update
ellmau synced commits to main at ellmau/nixos from mirror 2023-04-26 21:01:17 +02:00
1ccfdac25a flake.lock: Update
ellmau synced commits to main at ellmau/nixos from mirror 2023-04-24 20:41:19 +02:00
9d6ad73573 flake.lock: Update
930f178eeb Use sway on stel-xps
Compare 2 commits »
ellmau synced commits to milestone/frontend at ellmau/adf-obdd from mirror 2023-04-24 19:51:18 +02:00
aa189de7b5 Move DoubleLabeledGraph from lib to server
ellmau synced commits to milestone/frontend at ellmau/adf-obdd from mirror 2023-04-21 19:21:19 +02:00
85bd732c21 Add help texts to frontend
ellmau synced commits to milestone/frontend at ellmau/adf-obdd from mirror 2023-04-20 19:11:19 +02:00
2bec9c49bf Fix link color in footer
ellmau synced commits to main at ellmau/nixos from mirror 2023-04-19 19:51:18 +02:00
46644f0ac2 flake.lock: Update
ellmau synced commits to milestone/frontend at ellmau/adf-obdd from mirror 2023-04-19 19:01:20 +02:00
3ffd0a2aae Add project logos to frontend
ellmau synced commits to milestone/frontend at ellmau/adf-obdd from mirror 2023-04-18 18:51:21 +02:00
b90f68ac25 Update legal information regarding cookies
e16ed3a2f6 Add missing doc comments to lib
20cd5d3f06 Change G6 Graph layout slightly
927f7b26ea Add legal information page to frontend
Compare 4 commits »