An implementation of Wave Function Collapse with a focus on performance.

Verified Intermediate Representation

A Rust reimplementation of core MLIR data structures.

A modern model graph visualizer and debugger

Analyze compressed chess pgn files to determine the rarest move

A Python compiler design toolkit.

The Modular Platform (includes MAX & Mojo)

Must read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisation

Redirect `.idk` domains using Wikipedia

A tool for glamorous shell scripts 🎀

Probabilistic language based on pattern matching and constraint propagation, 153 examples

📄 i-LaTeX is a prototypal LaTeX editor with interactive code representations we call transitionals.

rewrites for MLIR with hoopl / rete

Procedurally generated Chinese landscape painting.

Send push notifications to your phone or desktop using PUT/POST

RISC-V emulator in python

3D-printable hexagonal mirror array capable of reflecting sunlight into arbitrary patterns

egg is a flexible, high-performance e-graph library

Powerful yet simple to use screenshot software 🖥️ 📸

Lean 4 programming language and theorem prover

3d engine implementation in DNA code!

A template for writing CS papers with latex -- includes CI, todonotes, ...

Master programming by recreating your favorite technologies from scratch.

Tsar programming language

Formal Reasoning About Programs

ASCIIparey is an experimental minimalistic scrapbook

A core language for rule-based hardware design 🦑

Declarative MLIR compilers in Python!

Create beautiful diagrams just by typing notation in plain text.