holmes

Datalog engine with extensions for integrating analyses

MIT License

Downloads
1.4K
Stars
38
Committers
1
View Code on GitHub
Ecosystems: Rust

Commit Statistics

Past Year

All Time

Total Commits
0
328
Total Committers
0
2
Avg. Commits Per Committer
0.0
164.0
Bot Commits
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
9
Merged Pull Requests
0
9
Total Issues
0
25
Time to Close Issues
N/A
about 2 months
Package Rankings
Top 29.43% on Crates.io
Badges
Extracted from project README
Build Status Documentation Coverage Status
Related Projects
markdown-rs

CommonMark compliant markdown parser in Rust with ASTs and extensions

08 Jun 2022 910
cayley-rust

Rust wrapper/driver for Cayley

18 Aug 2014 11
rustaceanvim

🦀 Supercharge your Rust experience in Neovim! A heavily modified fork of rust-tools.nvim

11 May 2021 1,603
vivisect-rs

A combined disassembler/static analysis/symbolic execution/debugger framework.

27 Nov 2022 2
ferrugo

Ferrugo is a JVM implementation written in Rust

20 Dec 2018 280
concordium-base

Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well ...

29 Mar 2021 21
headcrab

A modern Rust debugging library 🦀

12 Jul 2020 885
datafusion

Apache DataFusion SQL Query Engine

17 Apr 2021 5,892
vicis

Manipulate LLVM-IR in Pure Rust

17 Dec 2020 211
intellij-rust

Rust plugin for the IntelliJ Platform

16 Sep 2015 4,536
RustTest

Research using Rust and Cargo to contribute value to Ethereum & Polkadot projects

10 Feb 2015 4
ml

A library to generating UML language from Rust's project into graphiz/dot file.

25 Mar 2017 81
rust-analyzer

A Rust compiler front-end for IDEs

21 Dec 2017 13,523
cavalier_contours

2D polyline/shape library for offsetting, combining, etc.

03 Mar 2021 145
learn-rs

Getting started with Rust: resources, tools and code samples for learning Rust

19 May 2023 4