xlauko Goto Github PK

actions-playground

advent-of-code

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

bootable-thingy

carl

clangir

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

codeql-uboot

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.

crab

CoRnucopia of ABstractions: a language-agnostic library for abstract interpretation

diploma-thesis

dyn-dialect

A repository to test dialects defined dynamically.

fibonacci_heap

get-cmake

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

how-to-export-cpp-library

An OS-agnostic C++ library template in plain CMake.

infra

Infrastructure to set up the public Compiler Explorer instances and compilers

klee

KLEE Symbolic Execution Engine

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.

lart-runtime

LART Runtime Support Library

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

miller

VAST MLIR Abstract Interpreter

misc-builder

node

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

pb173_project

presentations

pv021_project

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