Trs is a project mainly written in HASKELL and VERILOG, based on the View license.

Hardware description language based on conditional term rewriting systems.