Skip to content
View sueszli's full-sized avatar
126 followers · 292 following

Organizations

@metareflection @matchyOrg @ETH-DISCO

Block or report sueszli

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
sueszli/README.md

Pinned Loading

  1. autograd.c autograd.c Public

    tiny torch, but close to metal

    C 134 6

  2. autograd.lean autograd.lean Public

    tiny torch, but formally verified

    Lean 1

  3. exojit exojit Public

    just-in-time compiler for the exo language

    Python 6

  4. peroxide peroxide Public

    p2p multiplayer pong from scratch

    Rust 5