Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
Snap-based submission management system with automatic code testing for teaching purposes
-
Git fork of http://hub.darcs.net/divip/AgdaTutorial
-
ghc builder bot
-
Distribution of Haskell with batteries included
-
ELTE Java gyakorlatok anyagai
-
E-learning snap based server for special teaching purposes
-
a book about ocaml
-
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
-
Developer FreeBSD Haskell "overlay" for the mighty FreeBSD Ports Collection. Use with caution, slippery when wet, etc.
-
MirageOS is a library operating system that constructs unikernels