GitHub repository: sirkibsirkib/slick
Primary language: Rust
Created: 2023-07-28T20:23:32Z
Description: Slick is a logical specification language. It is similar to Datalog (typeless, bottom-up) and Seaso (syntax, tuple values)