mangoiv
0 followers · 0 following
  • Joined on 2024-01-05
Repositories
16
 Projects Packages Public activity Starred repositories
Filter
Sort
dotfiles
Nix 0 0
my dotfiles
Updated 2024-05-17 01:09:17 +03:00
haskell-note
Haskell 0 0
Updated 2024-05-16 14:29:57 +03:00
fused-effects-extras
Haskell 0 0
Updated 2024-05-10 14:20:24 +03:00
modern-hoogle
Haskell 0 0
Updated 2024-05-01 17:56:26 +03:00
htree
Haskell 0 0
Updated 2024-04-19 20:11:14 +03:00
git-shepherd
Haskell 0 0
Updated 2024-04-07 17:49:54 +03:00
webshop
Haskell 0 0
Updated 2024-04-01 13:20:49 +03:00
flk-prt
Nix 0 0
my preferred flake for an empty flake part
Updated 2024-03-12 16:33:13 +02:00
website
HTML 0 0
Updated 2024-03-09 23:27:59 +02:00
ghci-module
Nix 0 0
Updated 2024-02-19 22:43:42 +02:00
eduroam
Python 0 0
Updated 2024-02-12 10:52:43 +02:00
linked-list-mut
Haskell 0 0
Updated 2024-02-09 01:30:00 +02:00
hask-nix
Nix 0 0
Updated 2024-01-29 00:12:24 +02:00
dependent-if
Haskell 0 0
Updated 2024-01-05 16:12:13 +02:00
leff
Lean 0 0
Updated 2024-01-05 16:11:35 +02:00