Similar repositories to iwilare/church-rosser:

• iwilare/church-rosser github similar
• aztek/Solver.agda github similar
• iwilare/formal-methods github similar
• nachivpn/gluetn github similar
• julianhyde/morel github similar
• TermCOMP/TPDB github similar
• arend-lang/tutorial-code github similar
• llee454/functional-algebra github similar
• ptarau/TypesAndProofs github similar
• bzhan/holpy github similar
• ashton314/muKanren_reading github similar
• mr-ohman/logrel-mltt github similar
• DimaSamoz/agda-soas github similar
• uwplse/ruler github similar
• prathyvsh/lambda-calculus-visualizations github similar
• mpedramfar/Lean-game-maker github similar
• probcomp/sppl github similar
• ImperialCollegeLondon/group-theory-game github similar
• UlfNorell/x86-agda github similar
• JetBrains/arend-lib github similar
• HarrisonGrodin/Rewrite.jl github similar
• sweirich/lambda-n-ways github similar
• polux/lambda-diagrams github similar
• smlnj/smlnj github similar
• tromp/AIT github similar
• Beluga-lang/Beluga github similar
• Storyyeller/cubiml-demo github similar
• stchang/macrotypes github similar
• coq-community/fourcolor github similar
• blynn/compiler github similar
• AnyDSL/thorin github similar
• kbuzzard/xena github similar
• avik-pal/RayTracer.jl github similar
• webyrd/miniKanren-with-symbolic-constraints github similar
• formalabstracts/formalabstracts github similar
• NICTA/cogent github similar
• w7cook/AoPL github similar
• DeepSpec/InteractionTrees github similar
• RuleBasedIntegration/Rubi github similar
• snowleopard/alga-paper github similar