Rafael Sá Menezes's Projects
Edições no modelo do abntex2 para compatibilidade com as normas do curso de Ciência da Computação da Universidade Federal de Roraima
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Curated lists related to Brazilian Computer Science research and researchers
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.
A simple generic B-Tree in haskell
The efficient SMT-based context-bounded model checker (ESBMC)
Syntax highlight for the GOTO language used by ESBMC
A python wrapper for calling ESBMC
ESBMC integration with for vscode
A Jimple to JSON parser
Um sistema de segurança para abrir trancas utilizando reconhecimento facial e proximidade.
Android PDF viewer application
Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.
Scripts that are useful for me and probably for no one else
Fork of synergy android to make it compatible with barrier