Similar repositories to grwlf/urweb-monad-pack:
grwlf/urweb-monad-pack
github
similar
FrigoEU/urweb-curl
github
similar
grwlf/urweb-build
github
similar
vizziv/UrLib
github
similar
MarcWeber/urweb-library
github
similar
steinwaywhw/ats-parcc
github
similar
docelic/awesome-urweb
github
similar
doublec/ats-reference
github
similar
michaelschade/hs-stripe
github
similar
xlq/aos
github
similar
fpiot/arduino-ats
github
similar
astanin/moo
github
similar
jduey/protocol-monads
github
similar
haskell-nix/hnix-store
github
similar
standardml/smackage
github
similar
kunstmusik/pink
github
similar
bos/configurator
github
similar
copumpkin/categories
github
similar
svanderburg/disnix
github
similar
dakrone/lein-bikeshed
github
similar
clarus/coq-of-ocaml
github
similar
mattam82/Coq-Equations
github
similar
akapav/js
github
similar
fsprojects/FSharp.Data.Adaptive
github
similar
dyoo/whalesong
github
similar
eiriktsarpalis/TypeShape
github
similar
zefhemel/nix-docker
github
similar
justinethier/husk-scheme
github
similar
Andromedans/andromeda
github
similar
githwxi/ATS-Postiats
github
similar
jcollard/elm-mode
github
similar
mozilla/nixpkgs-mozilla
github
similar
dylan-lang/opendylan
github
similar
polyml/polyml
github
similar
SAFE-Stack/SAFE-BookStore
github
similar
fsprojects/SQLProvider
github
similar
Mercury-Language/mercury
github
similar
HOL-Theorem-Prover/HOL
github
similar
taffybar/taffybar
github
similar
russellallen/self
github
similar