Similar repositories to HarvardPL/dminor-in-formulog:

• HarvardPL/dminor-in-formulog github similar
• gibiansky/IHaskell github similar
• meilisearch/MeiliSearch github similar
• tootsuite/mastodon github similar
• herbie-fp/egg-herbie github similar
• plaidgroup/plaid-lang github similar
• uw-unsat/leanette-popl22-artifact github similar
• epfl-lara/comfusy github similar
• graindb/graindb github similar
• hdante/picat-lang github similar
• rise-lang/rise github similar
• lyxell/logifix github similar
• jsinger67/parol github similar
• ufmg-smite/lean-smt github similar
• lamdu/lamdu-calculus github similar
• cpitclaudel/fstar.js github similar
• elevate-lang/elevate github similar
• insieme/insieme github similar
• finiteloop/compiler github similar
• effect-handlers/wasm-effect-handlers github similar
• namin/clpsmt-miniKanren github similar
• tchajed/iris-simp-lang github similar
• yatima-inc/yatima-lang github similar
• rise-lang/shine github similar
• melt-umn/silver github similar
• hopv/hoice github similar
• AestheticIntegration/fix-engine github similar
• wilbowma/mttex github similar
• oracle/souffle github similar
• epfl-lara/scallion github similar
• querycert/qcert github similar
• 0xd34df00d/refinedt github similar
• GillianPlatform/Gillian github similar
• HarvardPL/formulog github similar
• LumoSQL/archive1-LumoSQL-on-github github similar
• vmware/database-stream-processor github similar
• owo-lang/narc-rs github similar
• fasten-project/fasten github similar
• hydro-project/hydroflow github similar
• mmjb/T2 github similar