Similar repositories to haskell-rewriting/term-rewriting:

• haskell-rewriting/term-rewriting github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• Twey/agda-imp github similar
• pruvisto/TRS github similar
• ekmett/monad-ran github similar
• jonsterling/agda-abt github similar
• CoqHott/coq-effects github similar
• RichardMoot/LinearOne github similar
• nulvinge/Linear-Abstract-Machine github similar
• RobertHarper/hott-notes github similar
• nokijp/pietc github similar
• wenkokke/swillprover github similar
• kwf/Presburger github similar
• ayberkt/tinyrw github similar
• Jellonator/Emailang github similar
• ehildenb/homod github similar
• jonsterling/sml-pronominal-ml github similar
• cmcl/msci github similar
• jirkamarsik/ling-eff github similar
• jonsterling/ocaml-abt github similar
• jonsterling/sml-spreads github similar
• noamz/linlam-gos github similar
• lucaspena/coinduction github similar
• mvr/at github similar
• robinvd/rlang github similar
• lehins/MonadicParty2019 github similar
• mstksg/wavelets github similar
• Lysxia/coq-recursion-schemes github similar
• bachirelkhadir/Convex-Quaternary-Quartics-Are-Sum-of-Squares github similar
• conal/agda-fft github similar
• technomancy/rodney-leonard-stubbs github similar
• beoliver/term-rewriting github similar
• coq-community/HighSchoolGeometry github similar
• plum-umd/cgc github similar
• inanna-malick/hgit github similar
• JasonGross/coq-union-find github similar
• pingles/cascading-clojure-sample github similar
• zmaril/mcc github similar
• seesawlabs/digraph github similar