chadbrewbaker Goto Github PK

trie

Command line utility to generate a prefix tree (trie)

twitter

A Ruby interface to the Twitter API.

typescriptsyntaxvisualizer

A clone of the Roslyn Syntax Visualizer for TypeScript (and therefore also Javascript)

uftrace

Function graph tracer for C/C++/Rust

unum

Haskell library for Gustafson's unum arbitrary precision floating point calculations.

usd

Universal Scene Description

webdriverexercises

weekly-reports

Extreme transparency

wfa2-lib

WFA2-lib: Wavefront alignment algorithm library v2

wg-state-fair-app

Dojo State Fair Challenge

wraith

Wraith — A responsive screenshot comparison tool

wsl2-linux-kernel

The source for the Linux kernel used in Windows Subsystem for Linux 2 (WSL2)

yurichev.com

my website

z3

The Z3 Theorem Prover

z3-1

Ruby bindings for Z3 constraint solver library

z3-playground

A repository to store Z3-python scripts you can use as examples, reminders, whatever.

z3.linqbinding

LINQ to Z3 - an esoteric LINQ binding based on Bart De Smet's idea

z3.objecttheorem

An ObjectTheorem solver based on Z3 and LINQ to Z3

z3_tutorial

Jupyter notebooks for tutorial on the Z3 SMT solver

z3andme

z3test

Test and benchmark repository for Z3.

zcoreutils

Zig coreutils

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

zig-bootstrap

take off every zig

zig-coreutils

zsh-zig

Zig fork of zsh

zstd

Zstandard - Fast real-time compression algorithm

zuckerli