Similar repositories to phadej/staged-gg:

• roc-lang/roc github similar
• phadej/staged-gg github similar
• lambdageek/emile github similar
• spicydonuts/purescript-spectacle-presentation github similar
• ollef/incrementalism github similar
• tynril/torus-flock github similar
• andrejtokarcik/agda-semantics github similar
• ancientlanguage/agda-grammar github similar
• LightAndLight/como github similar
• hecrj/iced github similar
• nonbili/purescript-markdown-it-halogen github similar
• gibiansky/IHaskell github similar
• plt-hokusai/ahc github similar
• discus-lang/salt-vscode github similar
• robrix/interval-functor github similar
• thma/TypelevelReflection github similar
• Twey/agda-imp github similar
• bitmappergit/Prelude github similar
• bi-functor/toolbox github similar
• tweag/awesome-learning-haskell github similar
• tlringer/ml-for-proofs github similar
• wezm/rsspls github similar
• smlnj/smlnj github similar
• remexre/hm-prolog github similar
• purs-nix/purs-nix github similar
• tweag/timestats github similar
• toeverything/AFFiNE github similar
• ralsei/six-eyes github similar
• pintariching/rustle github similar
• thma/dependency-checker github similar
• DexterLB/yant github similar
• TsvetelinKostadinv/Dependent_types_with_Agda_Intro github similar
• sarsko/CreuSAT github similar
• geo2a/redfin-ide github similar
• patrickt/enchant github similar
• fosskers/disown github similar
• srid/cardano-here github similar
• overcoming-software/overcoming-software.github.io github similar
• nh2/blog github similar
• Taneb/project-euler github similar