Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: rewriting-system
pouyakary/wolfram-turing-machine
Wolfram's 2-state 3-symbol Turing machine
Language: Go - Size: 1000 Bytes - Last synced: 2 months ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0
dragoncoder047/pickle
It's Python! No, it's Tcl!, Wait, what is it?
Language: C++ - Size: 358 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1 - Forks: 0
roboguy13/rewrite-logic
A simple proof assistant based on string rewriting (work in progress)
Language: Haskell - Size: 140 KB - Last synced: 10 months ago - Pushed: about 3 years ago - Stars: 3 - Forks: 1
nathsou/Girafe
Term Rewriting Systems infrastructure
Language: TypeScript - Size: 1.75 MB - Last synced: about 1 month ago - Pushed: about 1 year ago - Stars: 6 - Forks: 0
karttu/Polyhex
A simple Prolog-program to search for polyhexes (polyominoes in hexagonal lattice) and similar structures, related to Fusenes and Helicenes.
Language: Prolog - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0
skneko/strass
Implementation of the STRategy-based Automatic Safety aSsurance tool (STRASS), an automatic program safety enforcement tool for the Maude programming language
Language: Svelte - Size: 1.29 MB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
HarrisonGrodin/Simplify.jl
Algebraic simplification in Julia
Language: Julia - Size: 228 KB - Last synced: 3 months ago - Pushed: over 4 years ago - Stars: 78 - Forks: 5
ROBINADC/Formal-Semantics-for-OpenFlow
A formal semantics framework for OpenFlow networks implemented in Maude 3.1
Size: 168 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0
Ragnarok540/LSystemTurtle
Lindenmayer system interpreter using turtle graphics in Python
Language: Python - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0