Stars
Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.
CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java
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 fu…
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Read-only mirror of https://gitlab.gnome.org/GNOME/meld
Background Music, a macOS audio utility: automatically pause your music, set individual apps' volumes and record system audio.
Emacs package that displays available keybindings in popup
Customisable coding font with alternates, ligatures and contextual positioning. Crazy crisp at 12px/9pt. http://larsenwork.com/monoid/
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
Decentralized Privacy-Preserving Proximity Tracing -- Documents
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
https://mswift42.github.io/themecreator/ create themes for intellij, textmate, textadept, atom, emacs, vim and gnome terminal.
Collection of Verification Tasks (MOVED, please follow the link)
Synthesis of Heap-Manipulating Programs from Separation Logic
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.