arthaud

bat

A cat(1) clone with wings.

llvm-project

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

spdlog

Fast C++ logging library.

quine-relay

An uroboros program with 100+ programming languages

Vim

:star: Vim for Visual Studio Code

awesome-modern-cpp

A collection of resources on modern C++

pyre-check

Performant type-checking for python.

ParrelSync

(Unity3D) Test multiplayer without building

wuffs

Wrangling Untrusted File Formats Safely

immer

Postmodern immutable and persistent data structures for C++ — value semantics at scale

snowman

Snowman decompiler

vim-autoformat

Provide easy code formatting in Vim by integrating existing code formatters.

LibCST

A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree

pocs

Proof of Concepts (PE, PDF...)

fuzzer-test-suite

Set of tests for fuzzing engines

vim-better-whitespace

Better whitespace highlighting for Vim

mariana-trench

A security focused static analysis tool for Android and Java applications.

fret

A framework for the elicitation, specification, formalization and understanding of requirements.

Chromium-941743

Chrome v8 1Day Exploit by István Kurucsai

sapp

Post Processor for Facebook Static Analysis Tools.

smart-contracts

LLDBagility

A tool for debugging macOS virtual machines

apron

Apron Numerical Abstract Domain Library

x509-parser

a RTE-free X.509 parser

errpy

An Error-Recovering Parser for Python

CoCoSim

Automated Analysis Framework for Simulink/Stateflow models.

pysa-action

GitHub Action for Pysa

pikos_popl2020

Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation

AnotherEngine

Some C++ game engine

min-max

Min-max algorithm for game theory