xlauko

lart

LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.

advent-of-code

codeql-uboot

miller

VAST MLIR Abstract Interpreter

actions-playground

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

clangir

A new (MLIR based) high-level IR for clang.

compiler-explorer

Run compilers interactively from your web browser and interact with the assembly

compiler-workflows

Workflows to build daily and ad hoc compilers for Compiler Explorer

cpp-linter-action

Lint C/C++ code with clang-format and clang-tidy then post annotations, comments, and step summary with results.

dyn-dialect

A repository to test dialects defined dynamically.

get-cmake

Install and Cache latest CMake and ninja executables for your workflows on your GitHub

infra

Infrastructure to set up the public Compiler Explorer instances and compilers

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

llvm-sc

Single Context LLVM Library

misc-builder

node

Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:

pymlir

Python interface for MLIR - the Multi-Level Intermediate Representation

range-v3

Range library for C++14/17/20, basis for C++20's std::ranges

reple

"Replay-based" REPLs for compiled languages.

reveal.js

The HTML Presentation Framework

run-cmake-vcpkg-action-libs

CMake and vcpkg wrappers, used to implement both Azure DevOps tasks and GitHub actions

run-vcpkg

GitHub Action to automatically cache and setup vcpkg to build C++ dependencies for your C++ based applications.

spdlog

Fast C++ logging library.

sv-benchmarks

Collection of Verification Tasks

SVF

Static Value-Flow Analysis Framework for Source Code

uiua

A stack-based array programming language

vscode-cmake-tools

CMake integration in Visual Studio Code

xlauko.github.io

z3

The Z3 Theorem Prover