Similar repositories to nadia-polikarpova/synquid:

• nadia-polikarpova/synquid github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• TyGuS/hoogle_plus github similar
• pixijs/pixi.js github similar
• oven-sh/bun github similar
• hecrj/iced github similar
• Bodigrim/poly github similar
• gelisam/typelevel-rewrite-rules github similar
• tjknoth/resyn github similar
• sarsko/CreuSAT github similar
• tuvtran/project-based-learning github similar
• ronami/HypeScript github similar
• epogrebnyak/haskell-intro github similar
• luc-tielen/souffle-haskell github similar
• discus-lang/salt github similar
• kowainik/membrain github similar
• domenkozar/releaser github similar
• robrix/path github similar
• kowainik/tomland github similar
• fumieval/deriving-aeson github similar
• isovector/suavemente github similar
• adjoint-io/oblivious-transfer github similar
• monadfix/named github similar
• seagreen/llvm-in-haskell github similar
• bolt12/laop github similar
• evertedsphere/how-to-implement-dependent-type-theory github similar
• Simspace/on-error github similar
• TOTBWF/omit-generics github similar
• tootsuite/mastodon github similar
• meilisearch/MeiliSearch github similar
• acid-state/safecopy github similar
• ucsd-progsys/liquid-fixpoint github similar
• spinda/liquidhaskell-cabal github similar
• google/ghc-source-gen github similar
• fpco/odbc github similar
• adjoint-io/sonic github similar
• isovector/sequoia github similar
• sdiehl/cabal-edit github similar
• Simspace/avaleryar github similar