Similar repositories to bordaigorl/stargazer:

• bordaigorl/stargazer github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• shaunlebron/parinfer github similar
• gibiansky/IHaskell github similar
• juxt/crux github similar
• meilisearch/MeiliSearch github similar
• aquynh/capstone github similar
• hecrj/iced github similar
• ReactTraining/react-router github similar
• gallais/typing-with-leftovers github similar
• gergoerdi/syntactic-stlc github similar
• ayberkt/simplc github similar
• effectfully/Cubes github similar
• k6io/k6 github similar
• neel-krishnaswami/linearml github similar
• pixijs/pixi.js github similar
• motemen/gore github similar
• postalhq/postal github similar
• GamestonkTerminal/GamestonkTerminal github similar
• blockstack/stacks github similar
• ubuntu/microk8s github similar
• benjaminselfridge/logix github similar
• jonsterling/agda-effectful-forcing github similar
• RobertHarper/hott-notes github similar
• msprotz/proof-search-monad github similar
• ayberkt/AC-unification github similar
• gallais/agdarky github similar
• jmchapman/Relative-Monads github similar
• effectfully/OTT github similar
• mr-ohman/intuitionistic-normalization github similar
• RyanGlScott/levitation github similar
• pigworker/InteriorDesign github similar
• nmvdw/HITs-Examples github similar
• msullivan/typecoin github similar
• FreeProving/free-proving-code github similar
• scmu/foundations-harper github similar
• HaskellMN/www.haskellmn.org github similar
• agda/ooAgda github similar
• pigworker/Ohrid-Agda github similar