Repositories Users Organizations
Filter
Sort
pingu/ blog
HTML 0 0 0
Updated 2026-07-20 22:34:21 +00:00
pingu/ bunny-mask
Nix 0 0 0
A ntfy.sh based weather information tool
Updated 2026-06-04 22:59:54 +00:00
pingu/ hest
0 0 0
Updated 2026-05-26 12:00:52 +00:00
pingu/ Tia
Haskell 0 0 0
Updated 2026-04-07 15:03:11 +00:00
pingu/ mide
Haskell 0 0 0
Launcher written with iced-hs
Updated 2026-03-09 19:36:32 +00:00
pingu/ Heated-Gaming
Agda 0 0 0
Playing the HoTT Game from https://thehottgameguide.readthedocs.io/en/latest/index.html
Updated 2026-02-08 11:32:19 +00:00
pingu/ appelpaj
Haskell 0 0 0
Me testing out Tidal
Updated 2026-02-04 11:59:51 +00:00
pingu/ mambo
Agda 0 0 0
Updated 2026-01-02 17:29:37 +00:00
pingu/ Computeability
Haskell 0 0 0
Updated 2025-12-09 14:43:13 +00:00
pingu/ aoc2025
Haskell 0 0 0
Updated 2025-12-04 10:17:42 +00:00
pingu/ Alisaie
Haskell 0 0 0
Small lambda calculus language
Updated 2025-11-28 09:49:43 +00:00
pingu/ cadaver
PLSQL 0 0 0
Updated 2025-11-12 21:04:25 +00:00
pingu/ Masons
Bluespec 0 0 0
Trying to model the rules from https://maffiasverige.se
Updated 2025-10-22 20:02:14 +00:00
pingu/ Yshtola
0 0 0
Updated 2025-10-17 14:34:19 +00:00
pingu/ Tataru
Nix 0 0 0
Updated 2025-10-15 09:13:55 +00:00
pingu/ Estinien
Haskell 0 0 0
Sudo solver written in haskell
Updated 2025-10-08 20:43:13 +00:00
pingu/ NixOSGuide
Nix 0 0 0
Updated 2025-07-16 21:37:32 +00:00
pingu/ temporary
HTML 0 0 0
Updated 2025-04-26 09:29:44 +00:00
pingu/ lean
Lean 0 0 0
Updated 2025-01-30 19:07:27 +00:00
pingu/ aoc2024
Haskell 0 0 0
Updated 2024-12-12 09:47:12 +00:00