Submissions by alex_hirner

Compressed GPU texture formats 3/3

A Prolog like syntax for egg

Proving a Theorem with Rust and Egraphs

Patching until the COWs come home

All Pythons are slow, but some are faster than others

Designing Hierarchical State Machines Using Frame Notation

Patching until the COWs come home

PanVk: An Open Source Vulkan driver for Arm Mali Midgard and Bifrost GPUs

Egg: E-Graphs Good

Nuitka: A Python Compiler

Build Your Machine Today

Hierarchical Structures in PostgreSQL

Declarative Docker Container Service in NixOS (2020)

OpenFF – Automated estimation of physical properties

Writing a Kubernetes Controller in Rust (2019)

Kubernetes Resource Interface for the Edge

Neovim and Rust

Path Semantics

Euclidean Geometry and Geometric Algebra

GAlculator – Geometric Algebra Pocket Calculator

Geometric Algebra for Python

The Rapier Physics Engine

Compressed GPU Texture Formats

Private-ID: Privacy preserving joins

Betsy GPU Compressor