-
LBNL, previously HZDR
- San Francisco Bay Area
-
12:07
(UTC -08:00) - https://keybase.io/ax3l
- https://orcid.org/0000-0003-1943-7141
- @axccl
- @ax3l@chaos.social
- in/axel-huebl
- @axccl.bsky.social
Lists (7)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- Batchfile
- Bikeshed
- C
- C#
- C++
- CMake
- CSS
- CartoCSS
- Chapel
- Clojure
- CoffeeScript
- Common Workflow Language
- Coq
- Cuda
- Cython
- D
- Dhall
- Dockerfile
- Emacs Lisp
- F#
- Fortran
- FreeBASIC
- GLSL
- Gnuplot
- Go
- Go Template
- HCL
- HTML
- Haskell
- Haxe
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kaitai Struct
- Kotlin
- LLVM
- LabVIEW
- Lean
- Lua
- M4
- MATLAB
- MDX
- MLIR
- Makefile
- Mathematica
- Nim
- Nix
- OCaml
- Objective-C++
- PHP
- PLSQL
- PLpgSQL
- Pascal
- Perl
- PowerShell
- Processing
- Prolog
- Python
- QML
- R
- Racket
- Rebol
- Roff
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Scheme
- Shell
- Singularity
- Svelte
- Swift
- Tcl
- TeX
- Thrift
- TypeScript
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wolfram Language
- Zig
- sed
A GPU task manager for Windows, Linux, and WSL: per-process VRAM, GPU activity, and LLM model/KV-cache insights (Windows AMD and NVIDIA).
ZeroFS: A log-structured filesystem for S3. ZeroFS serves S3-compatible buckets as POSIX filesystems over NFS and 9P, or as raw block devices over NBD.
PantheonSim: GPU simulator for CUDA and ROCm. Run CUDA and HIP programs unmodified on a CPU, no GPU needed: simulated NVIDIA and AMD GPUs for development, teaching and CI.
A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings
Evidence for defects in accelerator and beam-physics codes
Draw a pixel-art koi from a GitHub account's public activity, as a looping GIF for a profile README.
Nonlinear optics propagation code for mixed and cascaded nonlinearities.
Your laptop GPU never reaches its rated power. A hidden current limit holds it back. This lifts it live, without flashing the VBIOS.
Your GeForce runs AI at half speed. This fixes it for 20/30/40 series cards. Up to 2× FP16 / BF16 / TF32 tensor throughput
Tool for Rigorous Estimation of Round-Off Floating-Point Errors
A standard for floating point accuracy benchmarks
A spy satellite simulator in your browser, except the data is real. Live open source spatial intelligence on a photorealistic 3D globe.
Typeforge is a tool for type refactoring of C/C++ programs. It enables users to change the type of variables and determines all type-dependent changes that are necessary to ensure that the generate…
Configurable Runtime Analysis for Floating-point Tuning
Source-to-source floating-point tuning using CRAFT, ADAPT, and TypeForge
TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)
NERSC-managed tools and artifacts for AI coding agents.
Find the fewest bits a computation actually needs. Search-based floating-point precision tuning for bf16/fp8-era hardware.
Lightweight Benchmark Server for Agentic GPU Programming
A list of policies by different open source projects about how to engage with AI-generated contributions.
Foundation Models for Structured Data







