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 40 12

2. langs langs Public

   Agda 6 1

3. hiit-signatures hiit-signatures Public

   TeX 5

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