Rafael Sá Menezes's repositories
esbmc-launcher
A python wrapper for calling ESBMC
goto-viewer
A parser for GOTO programs
jimple2json
A Jimple to JSON parser
abntex_dcc_ufrr
Edições no modelo do abntex2 para compatibilidade com as normas do curso de Ciência da Computação da Universidade Federal de Roraima
awesome-haskell
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
brazilian-cs-research
Curated lists related to Brazilian Computer Science research and researchers
boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
cbmc-viewer
CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
didactic-btree
A simple generic B-Tree in haskell
esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
esbmc-goto-language-vscode
Syntax highlight for the GOTO language used by ESBMC
esbmc-vscode
ESBMC integration with for vscode
pdf-viewer
Android PDF viewer application
RetroArch
Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.
synergy-android-7
Fork of synergy android to make it compatible with barrier