Similar repositories to jonathan-laurent/copilot-kind:
jonathan-laurent/copilot-kind
github
similar
NCrashed/servant-auth-token-api
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
leepike/sbv
github
similar
niswegmann/copilot-core
github
similar
leepike/copilot-cbmc
github
similar
tomahawkins/ivory-backend-acl2
github
similar
leepike/copilot-sbv
github
similar
amcphail/hsignal
github
similar
bitnomial/servant-jsonrpc
github
similar
leepike/atom
github
similar
Copilot-Language/copilot-c99
github
similar
Copilot-Language/copilot-libraries
github
similar
donya/VividEuterpea
github
similar
mikeizbicki/vector-heterogenous
github
similar
donya/HaskellOx
github
similar
isovector/talks
github
similar
nh2/hackage-download
github
similar
oisdk/site
github
similar
scrive/hpqtypes
github
similar
factisresearch/large-hashable
github
similar
Copilot-Language/copilot-language
github
similar
MartinSStewart/elm-review-bot
github
similar
sirlensalot/fadno
github
similar
cdepillabout/servant-rawm
github
similar
gergoerdi/clash-intel8080
github
similar
ch1bo/servant-exceptions
github
similar
folq/elm-syntax
github
similar
input-output-hk/pvss-haskell
github
similar
turboMaCk/planning-game
github
similar
andrewthad/country
github
similar
donya/Jazzkell
github
similar
chrissound/GitChapter
github
similar
e-wrks/edh
github
similar
keera-studios/magic-cookies
github
similar
haskell-servant/servant-snap
github
similar
yamadapc/stack-run
github
similar
bennofs/reflex-host
github
similar
scravy/bed-and-breakfast
github
similar