GitHunt
MA

maurer/holmes

Datalog engine with extensions for integrating analyses

Holmes

Build Status
Documentation
Coverage Status

A system for integrating multiple analyses using a logic language.

Requirements

  • Rust - Holmes is developed against Rust 1.14.0.

  • PostgreSQL - Holmes uses PostgreSQL to back its datastore.
    I develop and test against 9.5 on Travis.
    Other backing stores may become available in the future.

  • Linux/X86_64 - This is not an explicit dependency.
    To the best of my knowledge, all tools I am using work on OSX/Windows and I am not using any architecture specific hacks.
    However, I am not developing on other architectures/OSes, nor will I be testing on them until things are much more feature complete.

Languages

Rust90.8%TeX5.1%Agda3.3%Nix0.7%Shell0.1%

Contributors

MIT License
Created September 5, 2014
Updated October 27, 2025