dzhang314

YouTubeDrive

Store files as YouTube videos == infinite disk space

MultiFloats.jl

Fast, SIMD-accelerated extended-precision arithmetic for Julia

RKTK

A Runge-Kutta Toolkit

LegionSolvers

Iterative Linear Solvers for the Legion Parallel Programming System

DZOptimization.jl

Fast in-place nonlinear optimization with fine-grained user control

ResistorBuilder

Build any resistor from standard E6 resistors

RungeKuttaToolKit.jl

Tools for constructing and analyzing Runge–Kutta methods

AssemblyView.jl

DiophantineEquations

My own implementations of ideas from https://arxiv.org/abs/2108.08705

dznl

dznl - David Zhang's Numeric Library

PCREO

Point Configuration Riesz Energy Optimizer

BooleanFunctionTools

Computational complexity measures of Boolean functions

BusyBeavers

Tools for generating and analyzing small Turing machines

dzc4

Efficient exhaustive Connect Four solver

dzhang314.github.com

David K. Zhang's personal website

DZPL

David Zhang's Proof Library

my-markdown-docs

ZeroOnePolynomials

Software and partial results for the 0-1 Polynomial Conjecture

zsvm