How to implement term rewriting systems?

• hope

  2 36 0.0 C

  Hope programming language interpreter

Hope someone else has a better answer.

• rewrite.js

  2 22 4.2 HTML

  (experimental) Minimalist s-expr based term graph rewriting system

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• catln

  1 34 9.1 Haskell

  A high-level programming language

Finally, how to compile into machine code. I mostly talked about how I handled it earlier with respect to the tree building IR. At that point, you have already resolved all the weirdness from the term rewriting and you just compile it like any normal language. I just go to LLVM and it's fairly straightforward. If you are interested in any other details, the full language is documented here and on GitHub.

Suggest a related project