Repositories Users Organizations
Filter
Sort
mangoiv/ dotfiles
Nix 0 0
my dotfiles
Updated 2024-09-09 14:58:47 +03:00
mangoiv/ haskell-note
Haskell 0 0
Updated 2024-09-05 15:59:16 +03:00
mangoiv/ modern-hoogle
Haskell 0 0
Updated 2024-09-05 15:58:59 +03:00
mangoiv/ unclogging
Haskell 0 0
Updated 2024-09-05 00:24:18 +03:00
mangoiv/ webshop
Haskell 0 0
Updated 2024-08-30 10:39:50 +03:00
mangoiv/ fused-effects-extras
Haskell 0 0
Updated 2024-08-29 23:51:58 +03:00
mangoiv/ http-barf
Haskell 0 0
very simple, monoidal http client library for scripting in haskell
Updated 2024-08-24 11:49:10 +03:00
mangoiv/ website
HTML 0 0
Updated 2024-08-04 15:01:10 +03:00
mangoiv/ htree
Haskell 0 0
Updated 2024-07-21 22:40:39 +03:00
mangoiv/ ghc-wasm-template
Nix 0 0
Updated 2024-06-20 11:58:23 +03:00
mangoiv/ linked-list-mut
Haskell 0 0
Updated 2024-06-16 14:59:09 +03:00
mangoiv/ keymap-drawer-flake
Nix 0 0
Updated 2024-06-02 15:38:20 +03:00
mangoiv/ git-shepherd
Haskell 0 0
Updated 2024-04-07 17:49:54 +03:00
mangoiv/ flk-prt
Nix 0 0
my preferred flake for an empty flake part
Updated 2024-03-12 16:33:13 +02:00
mangoiv/ ghci-module
Nix 0 0
Updated 2024-02-19 22:43:42 +02:00
mangoiv/ eduroam
Python 0 0
Updated 2024-02-12 10:52:43 +02:00
mangoiv/ hask-nix
Nix 0 0
Updated 2024-01-29 00:12:24 +02:00
mangoiv/ dependent-if
Haskell 0 0
Updated 2024-01-05 16:12:13 +02:00
mangoiv/ leff
Lean 0 0
Updated 2024-01-05 16:11:35 +02:00
mangoiv/ haskell-sandbox
Haskell 0 0
Updated 2024-01-05 16:10:31 +02:00