Beast code in Giters

igcontreras's repositories

Plantilla en LaTeX para la Tesis Fin de Máster (MUIA-UPM)

Language:TeXMIT200

Data processing and execution

Language:PythonMIT000

010

Language:PrologGPL-3.0010

personal website

Language:HTML010

Language:SMT010

Language:SMT010

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

Language:C++NOASSERTION000

SeaHorn Verification Framework

Language:CNOASSERTION010

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs Lisp000

The Z3 Theorem Prover

Language:C++NOASSERTION000