A verification tool for many memory models

Utilities for quantum compilers.

Experimental vibe-coded prototype of a version-controlled database modeled on geometric logic (a superset of Datalog)

Verified Intermediate Representation

VS Code extension · inline markdown · WYSIWYG · GFM · LaTeX · Mermaid · task lists

Open-source Kubernetes application platform that powers Namespace's developer-optimized compute platform.

An xDSL reimplementation of torch-mlir in O(1) code.

HW Architecture-Mapping Design Space Exploration Framework for Deep Learning Accelerators

A testing ground for quantum computing compilation ideas in xdsl

A minimal development of SSA theory

A Python compiler design toolkit.

A stream to RTL compiler based on MLIR and CIRCT

Save a matplotlib figure as a powerpoint presentation.

Declarative MLIR compilers in Python!

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…

Work on the clang python bindings

Vim plugin that use clang for completing C/C++ code.

Vim plugin that use clang for completing C/C++ code.