Similar repositories to jules-hedges/open-games-hs:

• jules-hedges/open-games-hs github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• hecrj/iced github similar
• tootsuite/mastodon github similar
• tuvtran/project-based-learning github similar
• pixijs/pixi.js github similar
• shaunlebron/parinfer github similar
• jasonmorton/Cateno github similar
• DavidJaz/DynamicalSystemsBook github similar
• ToposInstitute/poly github similar
• anuyts/agda-sessions github similar
• jules-hedges/awesome-applied-category-theory github similar
• langston-barrett/write-yourself-a-scheme-in-agda github similar
• meilisearch/MeiliSearch github similar
• juxt/crux github similar
• Eloston/ungoogled-chromium github similar
• pandas-profiling/pandas-profiling github similar
• msp-strath/TypOS github similar
• RobertHarper/hott-notes github similar
• affeldt-aist/monae github similar
• jules-hedges/open-games github similar
• fredefox/cat github similar
• HoTT-Intro/Agda github similar
• andreasabel/miniagda github similar
• statebox/idris-ct github similar
• oxford-quantum-group/discopy github similar
• martinescardo/TypeTopology github similar
• metaborg/linear.agda github similar
• zaklogician/typical-antiphrasis github similar
• parsonsmatt/beginner-error-messages github similar
• jameshaydon/lawvere github similar
• lawl/NoiseTorch github similar
• ekmett/multicategories github similar
• mr-ohman/logrel-mltt github similar
• JoeyEremondi/lambda-pi-constraint github similar
• RedPRL/kado github similar
• damien-pous/relation-algebra github similar
• maxsnew/modal-scheme github similar
• alexhumphreys/idrall github similar