Giters

langston-barrett / souffle-lint

A linter for Soufflé Datalog

Home Page:https://langston-barrett.github.io/souffle-lint/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

dataloglintersouffle

About

A linter for Soufflé Datalog

https://langston-barrett.github.io/souffle-lint/

dataloglintersouffle

License:MIT License

Languages

Language:Rust 93.3%Language:Makefile 3.5%Language:Shell 2.2%Language:Nix 0.5%Language:Python 0.4%