Pinned Repositories
esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
Map2Check
Map2Check: Finding Software Vulnerabilities
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
AndroidBenchmarks
esbmc-launcher
A python wrapper for calling ESBMC
goto-transcoder
A transcoder for GOTO programs
jimple2json
A Jimple to JSON parser
lockotron
Um sistema de segurança para abrir trancas utilizando reconhecimento facial e proximidade.
rafaelsamenezes's Repositories
rafaelsamenezes/esbmc-launcher
A python wrapper for calling ESBMC
rafaelsamenezes/goto-viewer
A parser for GOTO programs
rafaelsamenezes/jimple2json
A Jimple to JSON parser
rafaelsamenezes/lockotron
Um sistema de segurança para abrir trancas utilizando reconhecimento facial e proximidade.
rafaelsamenezes/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
rafaelsamenezes/AndroidBenchmarks
rafaelsamenezes/awesome-haskell
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
rafaelsamenezes/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
rafaelsamenezes/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
rafaelsamenezes/brazilian-cs-research
Curated lists related to Brazilian Computer Science research and researchers
rafaelsamenezes/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
rafaelsamenezes/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.
rafaelsamenezes/didactic-btree
A simple generic B-Tree in haskell
rafaelsamenezes/esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
rafaelsamenezes/esbmc-goto-language-vscode
Syntax highlight for the GOTO language used by ESBMC
rafaelsamenezes/esbmc-vscode
ESBMC integration with for vscode
rafaelsamenezes/mini-c
rafaelsamenezes/pdf-viewer
Android PDF viewer application
rafaelsamenezes/rafaelsamenezes
rafaelsamenezes/RetroArch
Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.
rafaelsamenezes/scheduling
rafaelsamenezes/scripts
Scripts that are useful for me and probably for no one else
rafaelsamenezes/synergy-android-7
Fork of synergy android to make it compatible with barrier