AI Agent Skills

Datalog compiler embedded in Rust as a procedural macro

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

A simple, fast and versatile Datalog database

A declarative static analysis tool for jvm bytecode based Datalog like CodeQL