Repositories
11
 Projects Packages
1
 Public activity Watched repositories
Filter
Sort
ghc
Haskell 0
The Glorious Glasgow Haskell Compiler.
compiler glorious haskell
Updated 2026-08-19 21:34:20 +00:00
haskell-language-server
Haskell 0
Official Haskell IDE support via the language server protocol (LSP)
cabal ghc hacktoberfest haskell haskell-language-server ide lsp-server stack
Updated 2026-08-16 16:24:59 +00:00
nix-config
Nix 0
Configuration of all my nixos machines
flake nix nixos
Updated 2026-08-14 12:41:01 +00:00
keyoxide_proof
0
aspe:keyoxide.org:WD6RGBFL6TYT7JKYQKGMWT7OJA
Updated 2026-07-10 17:03:28 +00:00
dotfiles
Shell 0
dotfiles
Updated 2026-07-06 16:12:53 +00:00
website
Haskell 0
haskell
Updated 2026-07-01 18:05:37 +00:00
forgejo-actions-nix-container
Nix 0
Updated 2026-06-22 13:46:24 +00:00
mgr
TeX 0
agda
Updated 2026-03-20 17:01:13 +00:00
weather-station
Rust 0
embedded nix rust
Updated 2025-12-12 16:18:08 +00:00
_cargo-index
0
Updated 2025-07-10 19:09:19 +00:00
zosia2025
Nix 0
Updated 2025-07-10 17:57:42 +00:00