Local cache for git repositories to speed up working with large repositories and multiple clones.

Simple python library for generating your own perfetto traces for your application. Can be used for both app instrumentation and custom trace generation (for your own purposes)

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

textlint is the pluggable linter for natural language text.

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