altanh

mntm

modular neural turing machines

colocolo

A synthesis-enabled solver for relational logic

gen

graph generation and analysis stuff

gol

playing around with the game of life

graph-stuff

graphs are cool

minisat

A minimalistic and high-performance SAT solver

tvm

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

walksat

BitSAT

Yet another SAT solver.

ccsat

A SAT solver written in C++.

celtex

texture generation via cellular automata

checkmate

Training neural networks in TensorFlow 2.0 with 5x less memory

CombBLAS

The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear algebra primitives specifically targeting graph analytics.

cs294-260

cs294-260-sp24

dfa

Fun with DFAs

exo

Exocompilation for productive programming of hardware accelerators

GeminiGraph

A computation-centric distributed graph processing system.

GraphMat

GraphMat graph analytics framework

LA3

LA3: Distributed Big-Graph Analytics

leviathan

approximating the impossible

meow

Kodkod to Colocolo/Ocelot Compiler

onnxruntime

ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

racket-stuff

Random racket stuff

sat

combined playground + graveyard of research ideas

space

Sparse Computing Engine

synr

A library for syntactically rewriting Python programs, pronounced (sinner).

TAMM

Tensor Algebra for many-body methods

uwsampl.github.io

The UW SAMPL group's website.