Jeffrey Sarnoff

@JeffreySarnoff ยท User

GitHub profile โ†— ยท Compare

New York112 followers291 repositories

Repositories

JeffreySarnoff/AIFloats.jl

An implementation supporting IEEE SA P3109 small floating-point formats for use in AI.

โ˜… 0JuliaForks 0

JeffreySarnoff/ByteFloats.jl

IEEE Draft Standard for Arithmetic for Machine Learning (this repo for 3 <= Bitwidth <= 8).

โ˜… 1JuliaForks 0

JeffreySarnoff/FloatBytes.jl

IEEE P3109 draft-1 byte-sized floating point for Julia: 120 formats, exact window arithmetic, every draft rounding mode

โ˜… 0JuliaForks 0

JeffreySarnoff/TypedDelegation.jl

Easily apply functions onto fields' values. Use a struct's fields as operands for operations on values of that type.

โ˜… 25JuliaForks 4

JeffreySarnoff/gstack

Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA

โ˜… 0Forks 0

JeffreySarnoff/FLoPS

FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard

โ˜… 0LeanForks 0