- Redmond, Washington
- https://superadditive.com
- https://sr.ht/~jmbr/
- All languages
- ANTLR
- Agda
- Assembly
- Awk
- 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
- LLVM
- Lean
- M4
- MATLAB
- MLIR
- Macaulay2
- Makefile
- Mathematica
- OCaml
- OpenSCAD
- PHP
- Pascal
- Perl
- PostScript
- Propeller Spin
- Python
- Q#
- R
- ReScript
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- SystemVerilog
- Tcl
- TeX
- TypeScript
- VHDL
- Verilog
- YASnippet
Starred repositories
8000 A turnkey command for converting a LaTeX source to ar5iv-style HTML
Code to automatically prove or verify estimates in analysis
This directory contains the Lecture files and Project codes in both Julia and Matlab for a course based on the Springer textbook "An Introduction to Element-based Galerkin Methods on Tensor-Product…
Example forms for transient UI's in Emacs
Common/Emacs Lisp implementation for FSRS
Parse CL syntactic constructs in s-expression form (possibly represented as e.g. CSTs) and construct syntax trees
A book that provides a big picture view of the Emacs Lisp programming language.
A fast, pure python implementation of the MuyGPs Gaussian process realization and training algorithm.
A search-based decoder for quantum error correction (QEC)
Next-gen fast plotting library running on WGPU using the pygfx rendering engine
A discussion between John Ousterhout and Robert Martin about differences between John's book "A Philosophy of Software Design" and Bob's book "Clean Code".
A Microsoft Language Server Protocol implementation for Coalton
Single-header dependency-free BVH construction and traversal library.
A framework for building complex computational geometry based on PicoGK
Hypergraph Minimum-Weight Parity Factor (MWPF) Algorithm for Decoding General Quantum LDPC Codes
A JIT Compiler and Runtime for Java in Common Lisp
Eliot: the logging system that tells you *why* it happened
A benchmark suit for quantum error correction decoding system following the LEGO architecture
a history of Lisp's most notorious artifact, parentheses
A collection of portable random generators for Common Lisp
Statistical learning models for the Common Lisp
An Emacs package development handbook. Built with Emacs, by Emacs package developers, for Emacs package developers.