- 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
Ghidra is a software reverse engineering (SRE) framework
MIT Deep Learning Book in PDF format (complete and parts) by Ian Goodfellow, Yoshua Bengio and Aaron Courville
Tsunami is a general purpose network security scanner with an extensible plugin system for detecting high severity vulnerabilities with high confidence.
Digital logic design tool and simulator
Zotero plugin to manage your attachments: automatically rename, move, and attach PDFs (or other files) to Zotero items, sync PDFs from your Zotero library to your (mobile) PDF reader (e.g. an iPad,…
BinNavi is a binary analysis IDE that allows to inspect, navigate, edit and annotate control flow graphs and call graphs of disassembled code.
Electronic Circuit Simulator in the Browser
A cross-platform G-Code sender for GRBL, Smoothieware, TinyG and G2core.
Open Source SMT Pick and Place Hardware and Software
A JIT Compiler and Runtime for Java in Common Lisp