runtimeverification/hs-backend-booster

This is stars and forks stats for /runtimeverification/hs-backend-booster repository. As of 13 May, 2024 this repository has 3 stars and 0 forks.

Haskell Backend Booster A simpler and faster version of K-Framework's haskell-backend. A simple rewrite engine that focuses on the K configuration as the main term Aims to solve easy and common rewrites quickly, rather than all rewrites completely Reverts to the standard backend for complex unification and term simplification Kompiling a K definition and running the RPC server The kore-rpc-booster binary takes a kore file definition, parses and internalises it and then launches an RPC server, which...