Similar repositories to dpvanbalen/Recursively-finding-valid-hole-fits:
dpvanbalen/Recursively-finding-valid-hole-fits
github
similar
ocharles/ghc-nix
github
similar
justinwoo/empty-repo
github
similar
Tritlo/writ-plugin
github
similar
nfrisby/tcplugins-zurihac2020
github
similar
Tritlo/ExampleHolePlugin
github
similar
Icelandjack/Capabilities
github
similar
i-am-tom/oops
github
similar
fumieval/deriving-aeson
github
similar
Lysxia/generic-random
github
similar
matthewbauer/ghc-nix
github
similar
digital-asset/ghc-lib
github
similar
nwolverson/purescript-language-server
github
similar
chrisdone/dynamic
github
similar
goldfirere/thesis
github
similar
tweag/rules_haskell
github
similar
mgattozzi/curryrs
github
similar
nh2/call-haskell-from-anything
github
similar
slovnicki/pLam
github
similar
kcsongor/generic-lens
github
similar
yesodweb/persistent
github
similar
sweirich/pi-forall
github
similar
nikita-volkov/hasql
github
similar
granule-project/granule
github
similar
ghc-proposals/ghc-proposals
github
similar
yallop/effects-bibliography
github
similar
edwinb/Idris2-boot
github
similar
ucsd-progsys/liquidhaskell
github
similar
haskell/aeson
github
similar
plfa/plfa.github.io
github
similar
purescript-halogen/purescript-halogen
github
similar
fiatjaf/awesome-loginless
github
similar
tweag/asterius
github
similar
haskell/haskell-language-server
github
similar
NixOS/patchelf
github
similar
jitsi/jitsi
github
similar
purescript/purescript
github
similar
fish-shell/fish-shell
github
similar