Altan Haan's repositories
isle
baby reimplementation of ISLE from Cranelift
space
Sparse Computing Engine
exo
Exocompilation for productive programming of hardware accelerators
GeminiGraph
A computation-centric distributed graph processing system.
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.
sat
combined playground + graveyard of research ideas
GraphMat
GraphMat graph analytics framework
LA3
LA3: Distributed Big-Graph Analytics
TAMM
Tensor Algebra for many-body methods
onnxruntime
ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator
synr
A library for syntactically rewriting Python programs, pronounced (sinner).
graph-stuff
graphs are cool
racket-stuff
Random racket stuff
checkmate
Training neural networks in TensorFlow 2.0 with 5x less memory
pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
leviathan
approximating the impossible
uwsampl.github.io
The UW SAMPL group's website.
BitSAT
Yet another SAT solver.
meow
Kodkod to Colocolo/Ocelot Compiler
dfa
Fun with DFAs
ccsat
A SAT solver written in C++.