Egraphs & ematching in Lean

Experimental MLIR based points-to analysis tool

Mini egglog in Python

The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.

A Low Barrier Proof Assistant

A Dataset of Python Challenges for AI Research

Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur

A points-to and alias analysis benchmark suite

PTABen: Micro-benchmark Suite for Pointer Analysis

Cnerator, a C source code generation tool. To cite this software publication: https://www.sciencedirect.com/science/article/pii/S235271102100056X

Implementations of SIMD instruction sets for systems which don't natively support them.

A C/C++ header to help move #ifdefs out of your code

CClyzer port to souffle lang

Reparent a running program to a new terminal

"CF3" is a C compiler test suite targeting arithmetic optimization.

Java parser written in Datalog

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

persistent monitor (for static source code analysis, GCC based)

Community-maintained repository of free software for the reMarkable tablet.

reMarkable app: Browse and download books from Z-Library

QL re-implementation of Aspirator (OSDI 2014) static analysis for catch clause error tracking in Java distributed systems

A simple tool that finds serious bugs in Java exception handler

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

Bear is a tool that generates a compilation database for clang tooling.

resurrected LLVM "C Backend", with improvements

C-Reduce, a C and C++ program reducer

Firefox Reader View as a command line tool

anvill forges beautiful LLVM bitcode out of raw machine code