Popular repositories Loading

1. ELTE-func-lang ELTE-func-lang Public

   Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY

   Haskell 29 11

2. hiit-signatures hiit-signatures Public

   TeX 5

3. langs langs Public

   Agda 1

4. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix

5. snaplet-recaptcha snaplet-recaptcha Public

   Forked from lpeterse/snaplet-recaptcha

   A ReCaptcha snaplet with connection sharing.

   Haskell

6. haskanoid haskanoid Public

   Forked from ivanperez-keera/haskanoid

   A breakout game in Haskell using SDL and FRP, with Wiimote support.

   Haskell