GitHub topics: tree-automata
ref-humbold/FITA-View 📦
Finite and Infinite Tree Automata Viewer
Language: Java - Size: 9.72 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 4 - Forks: 1
mohrm/LETHAL
Language: Java - Size: 1.94 MB - Last synced at: 6 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
kieda/protag
Property Record Object | Tree Automata Grammar
Language: Java - Size: 360 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
plneappl/TreeLanguages
A framework for working with finite regular tree languages.
Language: HTML - Size: 184 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0
ondrik/libvata
VATA Tree Automata Library
Language: Roff - Size: 23.7 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 26 - Forks: 9
LionelAuroux/treematching
Allow you to match any python objects hierarchy/trees in python with matching objects.
Language: Python - Size: 538 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 2
qinheping/WTAlib
Language: Slash - Size: 87.1 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 2
