term-rewriting-system

Open-source projects categorized as term-rewriting-system
Edit details
Topics: inference-engine language-oriented-programming rule-based-programming domain-specific-languages production-rules-engine
Free Django app performance insights with Scout Monitoring
Get Scout setup in minutes, and let us sweat the small stuff. A couple lines in settings.py is all you need to start monitoring your apps. Sign up for our free tier today.
www.scoutapm.com
featured

term-rewriting-system Open-Source Projects

term-rewriting-system

  • aesara

    Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.

  • Scout Monitoring

    Free Django app performance insights with Scout Monitoring. Get Scout setup in minutes, and let us sweat the small stuff. A couple lines in settings.py is all you need to start monitoring your apps. Sign up for our free tier today.

    Scout Monitoring logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

term-rewriting-system related posts

  • How to implement term rewriting systems?

    3 projects | /r/ProgrammingLanguages | 5 Feb 2023

  • Read a paper: Systemath

    1 project | /r/ProgrammingLanguages | 16 Jan 2023

  • I made a term rewriting system "Rewrite" as a proof of concept. It is implemented in Javascript in less than 400 LOC.

    2 projects | /r/computerscience | 17 Jul 2022

  • GitHub - contrast-zone/rewrite: s-expr based term rewriting system

    1 project | /r/coolgithubprojects | 2 Jul 2022

Index

Project Stars
1 aesara 1,166

Sponsored
Free Django app performance insights with Scout Monitoring
Get Scout setup in minutes, and let us sweat the small stuff. A couple lines in settings.py is all you need to start monitoring your apps. Sign up for our free tier today.
www.scoutapm.com