Similar repositories to loggittical/KnuthBendix.py:

• loggittical/KnuthBendix.py github similar
• dmishin/knuth_bendix github similar
• raphlinus/ghilbert github similar
• HarrisonGrodin/Rewrite.jl github similar
• grzegorzmazur/yacas github similar
• chakravala/Reduce.jl github similar
• BLLIP/bllip-parser github similar
• stepchowfun/theorem-prover github similar
• agraef/pure-lang github similar
• JuliaPlots/AlgebraOfGraphics.jl github similar
• louisabraham/algnuth github similar
• Samsung/jalangi2 github similar
• xixixao/Shem github similar
• CalebBell/thermo github similar
• jtobey/javascript-bignum github similar
• pyos/dg github similar
• pschanely/CrossHair github similar
• metapensiero/metapensiero.pj github similar
• indigo-dc/udocker github similar
• JuliaSymbolics/Symbolics.jl github similar
• akkartik/mu github similar
• osnr/horrifying-pdf-experiments github similar
• pluskid/Mocha.jl github similar
• cincheo/jsweet github similar
• sloisel/numeric github similar
• NeilFraser/JS-Interpreter github similar
• Maratyszcza/PeachPy github similar
• tobgu/pyrsistent github similar
• fent/randexp.js github similar
• n-riesco/ijavascript github similar
• evanw/glfx.js github similar
• skulpt/skulpt github similar
• kach/nearley github similar
• bqplot/bqplot github similar
• ponylang/ponyc github similar
• sympy/sympy github similar
• cisco/ChezScheme github similar
• Nuitka/Nuitka github similar
• dnschneid/crouton github similar
• fossasia/visdom github similar