5nizza

neovim

Vim-fork focused on extensibility and usability

awesome-cpp

A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

tdesktop

Telegram Desktop messaging app

abseil-cpp

Abseil Common Libraries (C++)

guake

Drop-down terminal for GNOME

klee

KLEE Symbolic Execution Engine

args

A simple header-only C++ argument parser library. Supposed to be flexible and powerful, and attempts to be compatible with the functionality of the Python standard argparse library (though not necessarily the API).

markdown-css-themes

A collection of css themes for Markdown

ok

ok.py supports programming projects by running tests, tracking progress, and assisting in debugging.

cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

research-group-resources

Resources for people running research groups.

monosat

MonoSAT - An SMT solver for Monotonic Theories

monokai-clion

Monokai color sheme for JetBRAINS CLion

hoaf

Hanoi Omega-Automata Format

iimc

party-elli

SMT based bounded synthesis

AbsSynthe

controller synthesis from succinct safety specifications

aisy

AIGER based synthesizer using BDDs

spec-framework

SMV format for synthesis, converter to SYNTCOMP format

sdf

Synthesizer from safety games

syntcomp-reference

SYNTCOMP reference implementations

StarExecSYNTCOMP

Processors, examples, and other files for SYNTCOMP 2019,2020,... hosted in StarExec

bene

Benchmarking helper: run your tool, extract stats, upload to DB