hms
0 followers · 0 following
  • Joined on 2026-02-19
Repositories
3
 Projects Packages Public activity Starred repositories
hms pushed to main at hms/web 2026-04-03 16:27:08 +02:00
83939ada01 feat (man): teaching
687c1a5d0a chore: remove .domains
Compare 2 commits »
hms pushed to main at hms/nixos 2026-04-02 14:21:09 +02:00
5d4f09f4ab chore: nix flake update
70fa0672d4 feat (shells/why3-dev): cleanup
eedb90cb37 feat (packages/helix): lsp configs
67d54f0e87 feat (home/graphical): useless-gaps
d3d03a178c feat (home/graphical): proton pass
Compare 6 commits »
hms pushed to main at hms/hsim-live 2026-04-02 10:46:40 +02:00
e9bb791be1 feat: final commit
hms pushed to main at hms/hsim-live 2026-03-30 13:29:12 +02:00
416d97c513 chore: update
hms pushed to main at hms/hsim-live 2026-03-27 15:49:56 +01:00
4776edc9db chore: remove nbsp
hms pushed to main at hms/hsim-live 2026-03-27 15:45:51 +01:00
ae1a5cf284 feat: no existential types, add hrun
a41e6b2faa chore: initial commit
hms created branch main in hms/hsim-live 2026-03-27 15:45:51 +01:00
hms created repository hms/hsim-live 2026-03-27 15:42:45 +01:00
hms pushed to main at hms/nixos 2026-03-01 11:39:39 +01:00
86bb47d7a3 fix (home/cli): extra commands only in interactive shells
hms pushed to main at hms/nixos 2026-03-01 11:33:25 +01:00
915f2db699 fix (home/cli)!: no task sync in bashrc
hms pushed to main at hms/nixos 2026-02-27 16:27:51 +01:00
d0840ba922 fix (hosts/mystra/forgejo): no custom template
hms pushed to main at hms/nixos 2026-02-27 16:25:39 +01:00
e880d563c5 fix (hosts/mystra/forgejo): typo
hms pushed to main at hms/nixos 2026-02-27 16:22:20 +01:00
a82926cfcf feat (hosts/mystra/forgejo)!: theming attempt
hms pushed to main at hms/nixos 2026-02-27 14:28:42 +01:00
7d9c3cce20 feat (home/cli): synchronize tasks
b3b837df04 feat (home/graphical): center window, high tide
Compare 2 commits »
hms created branch main in hms/web 2026-02-27 14:06:43 +01:00
hms pushed to main at hms/web 2026-02-27 14:06:43 +01:00
91340f9a49 feat: deule
227d29ca43 fix: remove teaching link (for now)
770c75593e feat: both english and french versions
1703b80353 feat: SEO and updated titles
ec33d12265 fix: update webring link
Compare 10 commits »
hms created repository hms/web 2026-02-27 14:05:21 +01:00
hms pushed to main at hms/nixos 2026-02-24 16:50:12 +01:00
3b4fc820d1 feat (home/cli): PINK BASH PROMPT FOR FUN AND PROFIT
hms pushed to main at hms/nixos 2026-02-24 10:38:40 +01:00
d8da85af24 chore!: nix flake update
8389f77bae feat (home/cli): eza
Compare 2 commits »
hms created branch main in hms/nixos 2026-02-19 13:56:00 +01:00