Holmes
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.
On this page
Languages
Rust90.8%TeX5.1%Agda3.3%Nix0.7%Shell0.1%
Contributors
Latest Release
v0.1.0January 24, 2017MIT License
Created September 5, 2014
Updated October 27, 2025