Similar repositories to chasenorman/Formalized-Voting:

• chasenorman/Formalized-Voting github similar
• gibiansky/IHaskell github similar
• modlfo/vult github similar
• danistefanovic/build-your-own-x github similar
• incaseoftrouble/social_choice_fairness github similar
• epacuit/stablevoting github similar
• elpinal/regalloc github similar
• dmurfet/deeplinearlogic github similar
• shaunazzopardi/deontic-logic-with-unknowns-haskell github similar
• EngAvr/Ithkuil github similar
• wires/cosmic-tesseract github similar
• NikolayevDmitry/tropython github similar
• strub/elliptic-curves-ssr github similar
• jtristan/stump-learnable github similar
• alabecki/Defeasible-Conditional-Deontic-Logic-Solver github similar
• benjaminflin/idris-qsort github similar
• mruegenberg/Hs-Game github similar
• gstew5/games github similar
• kb1dds/simplicialHomology github similar
• styzystyzy/Axiom_of_Choice github similar
• roglo/coq_real github similar
• DmxLarchey/ite-normalisation github similar
• olivierverdier/GeometricAlgebra github similar
• michaelsproul/dblib-linear github similar
• jtassarotti/polaris github similar
• jmchapman/restriction-categories github similar
• horsehour/socialchoice github similar
• nicolabotta/SeqDecProbs github similar
• cbenzmueller/LogiKEy github similar
• fieldstrength/xquant github similar
• bos/suffixtree github similar
• umazalakain/fyp github similar
• raaz-crypto/verse-coq github similar
• dmurfet/polysemantics github similar
• jdevuyst/dependable-data-structures github similar
• jonsterling/constructive-sheaf-semantics github similar
• qpwo/pySCF github similar
• mikeshulman/dirtt github similar
• gallais/agdarky github similar
• liamoc/dddp github similar