trs

There are 10 repositories under trs topic.

jrnelson90/tinderboxpedal
Bluetooth "Universal Remote" Footpedal for Digital Guitar Amps, on ESP32 or Pi Zero W
Language:C71 25 1111
triska/trs
Reason about Term Rewriting Systems
Language:Prolog15 4 04
mistupv/rev-rewriting
A tool for the transformation of an irreversible Term Rewriting System into a reversible one
Language:Prolog7 4 02
animysore/trs-python
Python port of TRS: Teaching/Learning Robotics with a Simulator
Language:Python3 1 00
akito19/htrs
Term Rewriting System interpreter that implements the type interface.
Language:Haskell0 2 20
mikeleo03/3D-Engine-From-Scratch
3D Engine created from scratch using NextJS and WebGL
Language:TypeScript0 1 00
RaymondVanMelzen/TRS-import-for-Wordpress
A free plugin to import TRS productions into Wordpress using the free Theatre plugin by Jeroen Schmit.
0 0 00
xufein/TRS-adaptor-plugin
monitor TRS changes and send notification
Language:Java0 0 00
Zboot007/azimhon
lol
Language:HTML0 1 00
teimichael/TRSAnalyzer
A comprehensive analyzer for term rewriting systems.
Language:Haskell2 0