Pinned Loading

1. facebook/infer facebook/infer Public

   A static analyzer for Java, C, C++, and Objective-C

   OCaml 15.7k 2.1k

2. ftsrg/theta ftsrg/theta Public

   Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

   Java 67 55

3. SRI-CSL/solidity SRI-CSL/solidity Public

   Forked from argotorg/solidity

   This is solc-verify, a modular verifier for Solidity.

   C++ 53 16

4. PanoDotNet PanoDotNet Public

   Interactive panorama viewer for equirectangular (360x180°) panoramas, using WPF 3D.

   C# 24 12

5. PhotoLapse PhotoLapse Public

   Create single frame timelapses (also known as HDTR images) from photos taken in a long interval of time.

   C# 8 2

6. root-project/root root-project/root Public

   The official repository for ROOT: analyzing, storing and visualizing big data, scientifically

   C++ 3.3k 1.6k