igcontreras

igcontreras's Stars

• seahorn/clam

  Static Analyzer for LLVM bitcode based on Abstract Interpretation

  Language:C27437

• Ericsson/CodeCompass

  CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java

  Language:C++517101

• trailofbits/vast

  VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

  Language:C++39123

• agurfinkel/brunch

  Data processing and execution

  Language:Python34

• NASA-SW-VnV/ikos

  Static analyzer for C/C++ based on the theory of Abstract Interpretation.

  Language:C++2k150

• agurfinkel/btor2mlir

  BTOR2 MLIR project

  Language:C++167

• ciao-lang/deepfind

  Language:Prolog1

• leonardoalt/chc_benchmarks_solidity

  Language:SMT61

• chc-comp/chc-tools

  Tools for manipulating CHC and related files

  Language:Python136

• ciao-lang/ciao

  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

  Language:Prolog26721

• GNOME/meld

  Read-only mirror of https://gitlab.gnome.org/GNOME/meld

  Language:Python1.1k267

• kyleneideck/BackgroundMusic

  Background Music, a macOS audio utility: automatically pause your music, set individual apps' volumes and record system audio.

  Language:C++16k675

• justbur/emacs-which-key

  Emacs package that displays available keybindings in popup

  Language:Emacs Lisp1.7k87

• larsenwork/monoid

  Customisable coding font with alternates, ligatures and contextual positioning. Crazy crisp at 12px/9pt. http://larsenwork.com/monoid/

  Language:Python7.9k170

• chrislgarry/Apollo-11

  Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

  Language:Assembly57.6k6.9k

• DP-3T/documents

  Decentralized Privacy-Preserving Proximity Tracing -- Documents

  Language:Shell2.2k180

• coding19-imdea/coding19-imdea.github.io

  Language:C++31

• eth-sri/eran

  ETH Robustness Analyzer for Deep Neural Networks

  Language:Python313100

• llvm/llvm-project

  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

  Language:LLVM28.3k11.7k

• magit/magit

  It's Magit! A Git Porcelain inside Emacs.

  Language:Emacs Lisp6.5k817

• mswift42/themecreator

  https://mswift42.github.io/themecreator/ create themes for intellij, textmate, textadept, atom, emacs, vim and gnome terminal.

  Language:Clojure40433

• sosy-lab/sv-benchmarks

  Collection of Verification Tasks (MOVED, please follow the link)

  184169

• TyGuS/suslik

  Synthesis of Heap-Manipulating Programs from Separation Logic

  Language:Scala12420

• politza/pdf-tools

  Emacs support library for PDF files.

  Language:C1.6k162

• syl20bnr/spacemacs

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

  Language:Emacs Lisp23.7k4.9k

• SRI-CSL/yices2

  The Yices SMT Solver

  Language:SMT37047

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.2k1.5k

• mchalupa/dg

  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

  Language:C++481135

• seahorn/sea-dsa

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

  Language:C++15730

• ciao-lang/ciaopp

  The Ciao Preprocessor

  Language:Prolog103