Similar repositories to mruegenberg/Hs-Game:

• mruegenberg/Hs-Game github similar
• gibiansky/IHaskell github similar
• shaunazzopardi/deontic-logic-with-unknowns-haskell github similar
• NikolayevDmitry/tropython github similar
• geraschenko/AlgebraicTopology github similar
• alabecki/Defeasible-Conditional-Deontic-Logic-Solver github similar
• ryanorendorff/convex github similar
• chasenorman/Formalized-Voting github similar
• walkie/Hagl github similar
• nicolabotta/SeqDecProbs github similar
• iblech/scheme-theory-in-agda github similar
• andreaferretti/commutative-algebra github similar
• mikeshulman/dirtt github similar
• dapp-studies/game-theory-study-group github similar
• kbuzzard/lean-stacks-project github similar
• jasonmorton/Cateno github similar
• braverock/FactorAnalytics github similar
• iblech/internal-methods github similar
• taliesinb/spatial-game-theory github similar
• anuyts/agda-sessions github similar
• jules-hedges/open-games-hs github similar
• langston-barrett/write-yourself-a-scheme-in-agda github similar
• nushio3/Paraiso github similar
• AlgebraicJulia/AlgebraicPetri.jl github similar
• gambitproject/gte github similar
• UniMath/Schools github similar
• ImperialCollegeLondon/M4P33 github similar
• dlicata335/cart-cube github similar
• InitialTypes/Club github similar
• mikeshulman/catlog github similar
• scott-fleischman/agda-from-nothing github similar
• dsorokin/aivika github similar
• JustusAdam/mustache github similar
• andrejbauer/Homotopy github similar
• dvanhorn/redex-aam-tutorial github similar
• racket/scribble github similar
• leanprover-community/lean-perfectoid-spaces github similar
• jwiegley/coq-pipes github similar
• UniMath/agda-unimath github similar
• sewardlee337/finreportr github similar