confluin does confluence checks for Tamarin input files
-
Updated
May 23, 2018 - Python
confluin does confluence checks for Tamarin input files
Pure node server + JaxMaTe client
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.
Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
Non-linear pattern matching for Python's objects, or a regexp-like for objects, query/match object graphs/tree/AST in a declarative way
Term Rewriting Systems infrastructure
A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.
Personal research notes
Rust simulations using input/output examples to learn typed first-order term rewriting systems that perform list routines.
Tools for permutations of associative elliptic curve operations using term rewriting
A comprehensive analyzer for term rewriting systems.
rewriting ELBO: variational inference using symbolic rewriting techniques
an implementation of mlatu in C++ with a goal towards performance
E-graph implementation for educational purposes
A library for first-order term-rewriting
Add a description, image, and links to the term-rewriting topic page so that developers can more easily learn about it.
To associate your repository with the term-rewriting topic, visit your repo's landing page and select "manage topics."