akaposi

Pinned Repositories

akaposi.github.io
Language:HTML00
ELTE-func-lang
Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY
Language:Haskell28 15 111
haskanoid
A breakout game in Haskell using SDL and FRP, with Wiimote support.
Language:Haskell0 2 00
hiit-signatures
Language:TeX5 5 00
indind-agda
Language:Agda0 2 00
langs
Language:Agda3 2 01
nixpkgs
Nix Packages collection
Language:Nix0 2 00
PhD-of-nzl
The exercises for PhD of nzl
Language:TeX0 2 00
snaplet-recaptcha
A ReCaptcha snaplet with connection sharing.
Language:Haskell0 2 00
stlc-nbe
Correctness proof for normalization-by-evaluation for STLC
Language:Agda0 2 00

akaposi's Repositories

akaposi/ELTE-func-lang
Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY
Language:Haskell28 15 111
akaposi/hiit-signatures
Language:TeX5 5 00
akaposi/langs
Language:Agda3 2 01
akaposi/akaposi.github.io
Language:HTML00
akaposi/haskanoid
A breakout game in Haskell using SDL and FRP, with Wiimote support.
Language:Haskell0 2 00
akaposi/indind-agda
Language:Agda0 2 00
akaposi/nixpkgs
Nix Packages collection
Language:Nix0 2 00
akaposi/PhD-of-nzl
The exercises for PhD of nzl
Language:TeX0 2 00
akaposi/snaplet-recaptcha
A ReCaptcha snaplet with connection sharing.
Language:Haskell0 2 00
akaposi/stlc-nbe
Correctness proof for normalization-by-evaluation for STLC
Language:Agda0 2 00