Similar repositories to phadej/staged:

• phadej/staged github similar
• gibiansky/IHaskell github similar
• plt-hokusai/ahc github similar
• Twey/agda-imp github similar
• tlringer/ml-for-proofs github similar
• smlnj/smlnj github similar
• ralsei/six-eyes github similar
• tweag/awesome-learning-haskell github similar
• roc-lang/roc github similar
• robinp/align github similar
• Eloston/ungoogled-chromium github similar
• meilisearch/MeiliSearch github similar
• conal/agda-cat-linear github similar
• jmlowenthal/staged-streams.agda github similar
• oisdk/semiring-num github similar
• pierric/fei-nn github similar
• jfdm/tears-in-the-rain github similar
• Bodigrim/tasty-inspection-testing github similar
• metaocaml/metaocaml-opam github similar
• andreasabel/universal-algebra github similar
• jespercockx/telescopic github similar
• JacquesCarette/agda-algebras github similar
• yihming/aihaskell github similar
• neel-krishnaswami/ott-example github similar
• balint99/sfpl github similar
• ollef/navm github similar
• nmvdw/GrpdHITs github similar
• futurice/haskell-futurice-prelude github similar
• aveltras/sessionula github similar
• silvanshade/agda-nr-cats github similar
• robrix/semirings-modules github similar
• cmk/rings github similar
• spicydonuts/purescript-spectacle-presentation github similar
• lambdageek/emile github similar
• ollef/incrementalism github similar
• tynril/torus-flock github similar
• evincarofautumn/hap-hs github similar
• andrejtokarcik/agda-semantics github similar
• ancientlanguage/agda-grammar github similar
• jh3141/parsec-pratt github similar