Partition refinement

Logic programming in Rust

Sparse and Structured Tensor Compiler

egraphs + datalog!

Datalog with equality for rust

High-Performance Linear Algebra-based Graph Primitives on GPUs

Programmable CUDA/C++ GPU Graph Analytics

The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs

CITOplasm

Home of ALP/GraphBLAS and ALP/Pregel, featuring shared- and distributed-memory auto-parallelisation of linear algebraic and vertex-centric programs. Soon with more to come!

A toolkit for SAT-based prototyping in Python

NeuroCore: Guiding CDCL with Unsat-Core Predictions

An advanced SAT solver

Online demo without installing at - https://buildit.so/tryit

Development repository for the Triton language and compiler

Reinforcement learning environments for compiler and program optimization tasks

Open deep learning compiler stack for cpu, gpu and specialized accelerators

repo for training and inference using artosisnet

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

Luanti (formerly Minetest) is an open source voxel game-creation platform with easy modding and game creation

mimalloc is a compact general purpose allocator with excellent performance.

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

The Z3 Theorem Prover

Difference sequences for polynomials