term-rewriting

There are 50 repositories under term-rewriting topic.

  • Arboretuum

    MIRROR of https://codeberg.org/catseye/Arboretuum : A forest-rewriting language; precursor to Treacle.

    Language:Scheme2

  • e-graph

    E-graph implementation for educational purposes

    Language:C++1

  • Relbo.jl

    rewriting ELBO: variational inference using symbolic rewriting techniques

    Language:Julia1

  • gorgo

    A Parsing Toolbox

    Language:Go1

  • Trl.TermDataRepresentation

    The overall aim of this project is to create a term rewriting system that could be useful in everyday programming, and to represent data in a way that roughly correspond to the definition of a term in formal logic. Terms should be familiar to any programmer because they are basically constants, variables, and function symbols.

    Language:C#1

  • pure_jaxmate

    Pure node server + JaxMaTe client

    Language:Red1

  • termination

    A library for first-order term-rewriting

    Language:Python1

  • pure-lang

    Pure programming language

    Language:C++1

  • atrs

    Applicative TRS implemented in Haskell

    Language:Haskell

  • TRSAnalyzer

    A comprehensive analyzer for term rewriting systems.

    Language:Haskell

  • SMTGenerator

    Writing SMT-LIB Standard programs with Haskell.

    Language:Haskell

  • list-routine-learning-rs

    Rust simulations using input/output examples to learn typed first-order term rewriting systems that perform list routines.

    Language:Rust

  • confluin

    confluin does confluence checks for Tamarin input files

    Language:Python

  • limi_react

    A public flat live persistent globally distributed functional symbolic artifact computation engine based on term rewriting

    Language:JavaScript