The Stanford Builder

A tiny Open POWER ISA softcore written in VHDL 2008

😎 Awesome lists about all kinds of interesting topics

"Multi-Level Intermediate Representation" Compiler Infrastructure

DynDNS Updater for Gandi LiveDNS REST API

A tutorial on defining domain-specific languages and transforming them to high-performance code

Vectorization EDSL library

UME::SIMD A library for explicit simd vectorization.

Unison file synchronizer

Main gperftools repository

Generator Bootcamp Material: Learn Chisel the Right Way

Patterns and behaviors for GPU computing

Resolution theorem proving for predicate logic in pure Python.

Python Module for Logical Validation (forked from Rob Truxler library)

A brief computer graphics / rendering course

GPU Fluid Simulation with Volumetric Rendering

21st century AD

Proposed C++ standardisation for linear algebra

Very low-overhead timer/counter interfaces for C on Intel 64 processors.

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

Optimizing LAMMPS on Sunway TaihuLight

A dynamic data race detector for OpenMP programs

Program Generator for Small-Scale Linear Algebra Applications

The pluggable natural language linter for text and markdown.

Open-Source CUDA/OpenCL Speed Of Light Ray-tracer

A path tracer written in Go.

Reproducing images with geometric primitives.