Spack's community package recipes

Fast SQL-only data application builder. Automatically build a UI on top of SQL queries.

A lightweight library for portable low-level GPU computation using WebGPU.

A modern supercompiler for call-by-value functional languages

Python packaging scenarios

Next generation FEniCS Form Compiler for finite element forms

Solve puzzles. Learn CUDA.

Queueing theory: an introduction for software development

LLM papers I'm reading, mostly on inference and model compression

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

A collaborative bibliography of work related to the theory and practice of computational effects

Sparse and Structured Tensor Compiler

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

Python bindings for egg

There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable an…

a language for fast, portable data-parallel computation

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

Data parallel C++ mathematical object library

Firefox extension for managing tabs and bookmarks in sidebar.

Common libraries and data structures for C.

Myia prototyping

PyNeuraLogic lets you use Python to create Differentiable Logic Programs

A Tensor Language

Jun and Huck's PyTorch-Tensor-Train Network Toolbox

The "p4est" forest-of-octrees library

Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.

The Charm++ parallel programming system. Visit https://charmplusplus.org/ for more information.