Similar repositories to aztek/Solver.agda:

• pixijs/pixi.js github similar
• aztek/Solver.agda github similar
• iwilare/church-rosser github similar
• isovector/wheatley github similar
• nachivpn/gluetn github similar
• Gutek/fallacies-of-distributed-computing github similar
• julianhyde/morel github similar
• UChicago-PL/smyth github similar
• ssbothwell/HowardLang github similar
• atennapel/coc-os github similar
• Toxaris/pts github similar
• libmir/mir-core github similar
• mr-ohman/logrel-mltt github similar
• mb64/prolog github similar
• alox-lang/alox github similar
• matthewfl/redmagic github similar
• duo-lang/duo-lang github similar
• dobesv/charity github similar
• aap/b github similar
• aspiwack/peppermint-prover github similar
• vehicle-lang/vehicle github similar
• frex-project/idris-frex github similar
• DimaSamoz/agda-soas github similar
• FreeProving/free-compiler github similar
• mpedramfar/Lean-game-maker github similar
• Symbolica/Symbolica github similar
• ImperialCollegeLondon/group-theory-game github similar
• touist/touist github similar
• etaoins/llambda github similar
• digama0/mmj2 github similar
• DBCG/Dataphor github similar
• AndrasKovacs/setoidtt github similar
• IxpertaSolutions/freer-effects github similar
• egel-lang/egel github similar
• Gradual-Typing/Grift github similar
• andrejbauer/alg github similar
• luc-tielen/eclair-lang github similar
• kmill/lean4-raytracer github similar
• lamdu/hypertypes github similar
• nikomatsakis/a-mir-formality github similar