Denis Bueno's repositories
bitfunc
Library for building bit-vector and array constraints directly on top of a SAT solver
cclyzer-souffle
CClyzer port to souffle lang
Certora-Tutorials
Practical tutorials of Certora Prover
dotvim
Vim configuration
nix-bundle
Bundle Nix derivations to run anywhere!
nixpkgs
Nix Packages collection
OutputCheck
A tool for checking tool output inspired by LLVM's FileCheck
rose
Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89 and C98), C++ (C++98 and C++11), UPC, Fortran (77/95/2003), OpenMP, Java, Python and PHP applications.
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
souffle-lang.github.io
Soufflé
souffle.vim
Syntax highlighting for souffle files
tagtime-trends
Interactive displays of TagTime data
tree-sitter-souffle
A tree-sitter grammar for Soufflé Datalog
vimoutliner
Work fast, think well.
yapall
A precise and scalable pointer analysis for LLVM, written in Ascent