pingu
0 Followers · 0 Following
  • Gothenburg, Sweden
  • Joined on 2023-02-28
Repositories
26
 Projects Packages Public Activity Starred Repositories
1
Filter
Sort
mambo
Agda 0 0
Updated 2026-01-02 17:29:37 +00:00
Computeability
Haskell 0 0
Updated 2025-12-09 14:43:13 +00:00
aoc2025
Haskell 0 0
Updated 2025-12-04 10:17:42 +00:00
Alisaie
Haskell 0 0
Small lambda calculus language
Updated 2025-11-28 09:49:43 +00:00
cadaver
PLSQL 0 0
Updated 2025-11-12 21:04:25 +00:00
Masons
Bluespec 0 0
Trying to model the rules from https://maffiasverige.se
Updated 2025-10-22 20:02:14 +00:00
Yshtola
0 0
Updated 2025-10-17 14:34:19 +00:00
Tataru
Nix 0 0
Updated 2025-10-15 09:13:55 +00:00
Estinien
Haskell 0 0
Sudo solver written in haskell
Updated 2025-10-08 20:43:13 +00:00
blog
HTML 0 0
Updated 2025-10-07 15:09:08 +00:00
NixOSGuide
Nix 0 0
Updated 2025-07-16 21:37:32 +00:00
temporary
HTML 0 0
Updated 2025-04-26 09:29:44 +00:00
lean
Lean 0 0
Updated 2025-01-30 19:07:27 +00:00
aoc2024
Haskell 0 0
Updated 2024-12-12 09:47:12 +00:00
GameResearch
HTML 0 0
Updated 2024-10-23 08:50:27 +00:00