FLA but cuTile

CUDA Templates and Python DSLs for High-Performance Linear Algebra

Tensor Compute Primitives: Mid-level Intermediate Representation for Machine Learning Programs

An agentic macOS desktop tool

An Open Source Machine Learning Framework for Everyone

The Coq development of A Promising Semantics for Relaxed-Memory Concurrency

Gilectomy branch of CPython. Use "gilectomy" branch in git. Read the important, short README below!

A superoptimizer for LLVM IR

This repo contains LLILC, an LLVM based compiler for .NET Core. It includes a set of cross-platform .NET code generation tools that enables compilation of MSIL byte code to LLVM supported platforms.

This repo contains the .NET Core runtime, called CoreCLR. It is an execution engine for .NET apps, performing functions such as IL byte code loading, compilation to machine code and garbage collect…

Papers from the computer science community to read and discuss.

Thought experiment / prototype that performs random Google searches, clicks to increase privacy

Cool Compiler for MIPS written in Haskell

Cryptographic library for Haskell

A java.util.HashMap compatible map that won't stall puts or gets when resizing

A textbook on informal homotopy type theory

A High Dynamic Range (HDR) Histogram

33 Questions

C-Reduce, a C and C++ program reducer

πfs - the data-free filesystem!

being the materials for Summer 2013's course

checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking

A content-addressed, indexed graph database

Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.

Improve Emacs shell integration for those of us who don't live in Emacs.

Chrome extension that replaces occurrences of 'the cloud' with 'my butt'

💎 beautiful website generator aimed at math-heavy sites

∞ my online presence — generated by clayoven

Toy lisp interpreter / PLT playground

lthread, a multicore enabled coroutine library written in C