#Souffle

Showing 2 of 2 repositories tagged #souffle, ranked by stars

Datalog compiler embedded in Rust as a procedural macro

★ 522 ⑂ 21 +2/day

TON Static Analyzer

★ 52 ⑂ 6 —

Related Topics

#static-analysis #datalog #logic-programming #rust #translator #smart-contracts #tact-lang #ton