3 Forks
17 Stars
17 Watchers

eqsat

A language-generic implementation of equality saturation in Haskell

How to download and setup eqsat

Open terminal and run command
git clone https://github.com/taktoa/eqsat.git
git clone is used to create a copy or clone of eqsat repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with eqsat https://github.com/taktoa/eqsat/archive/master.zip

Or simply clone eqsat with SSH
[email protected]:taktoa/eqsat.git

If you have some problems with eqsat

You may open issue on eqsat support forum (system) here: https://github.com/taktoa/eqsat/issues

Similar to eqsat repositories

Here you may see eqsat alternatives and analogs

 webpack    babel    next.js    gatsby    pkg    svgo    parcel    pyret-lang    iris    lebab    guido    kotlin    kotlin-native    selfie    reading    Halide    osprey    laravel-compile-views    godzilla    compiler-explorer    chillout    Bridge    svelte    MTuner    shaderc    game-programming-patterns    rust    marked    v8    gopherjs