diff options
Diffstat (limited to 'users/grfn/web')
| -rw-r--r-- | users/grfn/web/index.org | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/users/grfn/web/index.org b/users/grfn/web/index.org index d6c19bd4393e..0d1b3750db53 100644 --- a/users/grfn/web/index.org +++ b/users/grfn/web/index.org @@ -27,8 +27,7 @@ that's wire-compatible with postgresql and mysql, based on [[https://github.com/ - [[https://windtunnel.ci/][windtunnel]], a continuous benchmarking software-as-a-service currently accepting early alpha users (send me an email if you want to try it out!) - [[https://cs.tvl.fyi/depot/-/tree/users/grfn/achilles][achilles]], a compiler for (what I plan to become) a dependently typed, low-level functional programming language targeting LLVM - [[https://github.com/glittershark/org-clubhouse][org-clubhouse]], an emacs package for lightweight integration between [[https://orgmode.org/][org-mode]] and [[https://clubhouse.io/][the clubhouse project management tool]] -- [[https://cs.tvl.fyi/depot/-/tree/users/grfn/xanthous][xanthous]], a terminal roguelike in haskell that I work on intermittently and exclusively for fun \\ - you can now try xanthous out over ssh by running ~ssh -p 2222 xanthous.gws.fyi~. if you do so I'd love if you send me an email about it +- [[https://cs.tvl.fyi/depot/-/tree/users/grfn/xanthous][xanthous]], a terminal roguelike in haskell that I work on intermittently and exclusively for fun * music |