ritter-x2a

llvm-test-suite

llvm-project

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

pmtestbench

Code development and artifact for our port mapping inference approaches

AnICA

Analyzing Inconsistencies of Code Analyzers

fe

A header-only C++ library for writing compiler/interpreter frontends.

python-mastery

Advanced Python Mastery (course by @dabeaz)

synth

Synthesis of loop-free programs

vim_cheat_mug

A Vim cheat sheet to put on a mug

gematria

Machine learning for machine code.

iwho

Instructions With Holes: A library for matching instructions to more abstract schemes that can be instantiated with other operands.

AnICA-UI

A user interface to work with the results of AnICA.

AnICA-Artifact

Vagrant VM config for the AnICA aritfact eval

lang-c

Lightweight C parser for Rust

MemInstrument

A framework to make C memory safe

MemInstrument-Runtime

C runtime component for MemInstrument

C11parser

A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml

pysmt

pySMT: A library for SMT formulae manipulation and solving

pmevo-artifact

PLDI'20 Research Artifact for the PMEvo Project

temci

An advanced benchmarking tool

pretext

PreTeXt: an authoring and publishing system for scholarly documents

uiCA-eval

Files used for the evaluation of uiCA

lucius-vscode

Lucius colorscheme for VSCode

uiCA

uops.info Code Analyzer

XED-to-XML

XML representation of the x86 instruction set

moviemaker-cpp

Encode video frame by frame in C++ using FFmpeg

DiffTune

capstone

Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.

DeOldify

A Deep Learning based project for colorizing and restoring old images (and video!)

wttr.in

:partly_sunny: The right way to check the weather

e-Paper