Stars
High-Performance Linear Algebra-based Graph Primitives on GPUs
The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs
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!
NeuroCore: Guiding CDCL with Unsat-Core Predictions
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
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