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

A linter for Soufflé Datalog
https://github.com/langston-barrett/souffle-lint

datalog linter souffle

Last synced: 6 months ago
JSON representation

A linter for Soufflé Datalog

• Host: GitHub
• URL: https://github.com/langston-barrett/souffle-lint
• Owner: langston-barrett
• License: mit
• Created: 2022-10-22T15:55:50.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2024-04-01T06:47:57.000Z (over 1 year ago)
• Last Synced: 2025-03-27T23:02:41.817Z (7 months ago)
• Topics: datalog, linter, souffle
• Language: Rust
• Homepage: https://langston-barrett.github.io/souffle-lint/
• Size: 1.76 MB
• Stars: 13
• Watchers: 3
• Forks: 1
• Open Issues: 33
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# souffle-lint

A linter for [Soufflé Datalog][souffle]. See [the documentation][doc] for more

information.

[doc]: https://langston-barrett.github.io/souffle-lint/

[souffle]: https://souffle-lang.github.io/index.html