gleblobanov's Stars
ghc/ghc
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).
raganwald-deprecated/homoiconic
An experiment in publishing code and words about code on a small scale.
jtdaugherty/brick
A declarative Unix terminal UI library written in Haskell
rikvdkleij/intellij-haskell
IntelliJ plugin for Haskell
viskell/viskell
Visual programming meets Haskell
HoTT/HoTT-Agda
Development of homotopy type theory in Agda
GrammaticalFramework/GF
Archive of monolithic GF repository until 2018-07-25
gtk2hs/gtk2hs
GUI library for Haskell based on GTK+
UlfNorell/agda-summer-school
Summer school on programming in Agda
hspec/hspec-wai
Helpers to test WAI applications with Hspec
GrammaticalFramework/gf-contrib
Community contributions to the Grammatical Framework
myplanet/angular-date-picker
Lightweight calendar for Angular
r00takaspin/paranoid
init
jarick/bx
BX framework
owst/agda-patience-sort
Agda patience sort
r00takaspin/citypulse