ndmitchell:
- ghcid
idris-lang:
- idris-dev
ghc:
- ghc
GrammaticalFramework:
- gf-rgl
- gf-core
MUSTE-Project:
- adjustable-trees
- MULLE.old
- junk
- MULLE
- MULLE-wiki
- gf-core
creichert:
- stack-tag
bmillwood:
- haskell-src-meta
rickyrockrat:
- parcellite
commercialhaskell:
- stack
snapframework:
- snap-core
- snap
adobe-fonts:
- source-code-pro
agda:
- agda-ocaml
- agda
gershomb:
- jmacro
twanvl:
- multiset
jwiegley:
- gitlib
IonicaBizau:
- git-stats
swaywm:
- wlroots
- sway
htacg:
- tidy-html5
PCMan:
- gtk3-nocsd
haskell:
- hackage-server
- haskell-mode
- cabal
- haddock
sdiehl:
- repline
zevv:
- duc
jaspervdj:
- profiteur
sigmike:
- autocutsel
i3:
- i3
judah:
- haskeline
AlDanial:
- cloc
schell:
- steeloverseer
haikarainen:
- light
valmdz:
- dia
- haskelicious
nurpax:
- sqlite-simple
- db-bench
ozataman:
- snap-extras
ekmett:
- monad-st
Saizan:
- cubical-demo
cdepillabout:
- termonad
hoxy:
- gitstats
colah:
- ImplicitCAD
fredefox:
- ethambda-hs
- cad-test
- applications
- spirograph
- dotfiles
- github.old
- cat
- time-keeper
- rhyme
- mono-traversable
- fredefox.github.io
- ethambda-idr
- gitm
- ethambda-agda
- frelude