- Redmond, Washington
- https://superadditive.com
- https://sr.ht/~jmbr/
- All languages
- ANTLR
- Agda
- Assembly
- Awk
- Berry
- C
- C#
- C++
- CMake
- CSS
- Common Lisp
- Coq
- Cuda
- Cython
- Dockerfile
- Emacs Lisp
- Fortran
- G-code
- GAP
- Gnuplot
- Go
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KiCad Layout
- Kotlin
- LLVM
- Lean
- M4
- MATLAB
- MLIR
- Macaulay2
- Makefile
- Mathematica
- OCaml
- OpenSCAD
- PHP
- Pascal
- Perl
- PostScript
- Propeller Spin
- Python
- Q#
- R
- ReScript
- Rocq Prover
- Roff
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- SystemVerilog
- Tcl
- TeX
- TypeScript
- VHDL
- Verilog
- YASnippet
Starred repositories
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
Open-source keyboard firmware for Atmel AVR and Arm USB families
NVIDIA Linux open GPU kernel module source
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
AddressSanitizer, ThreadSanitizer, MemorySanitizer
GPU & Accelerator process monitoring for AMD, Apple, Huawei, Intel, NVIDIA and Qualcomm
The source for the Linux kernel used in Windows Subsystem for Linux 2 (WSL2)
Linux tool to show progress for cp, mv, dd, ... (formerly known as cv)
OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.
A network filesystem client to connect to SSH servers
A Linux version of the Procmon Sysinternals tool
An open source, embedded, high performance g-code-parser and CNC milling controller written in optimized C that will run on a straight Arduino
A small utility to modify the dynamic linker and RPATH of ELF executables
The arguably fastest GPIO Library for the Raspberry Pi
High-efficiency floating-point neural network inference operators for mobile, server, and Web
library for nonlinear optimization, wrapping many algorithms for global and local, constrained or unconstrained, optimization