Pinned Repositories
bet
Code and website for Behavior Transformers: Cloning k modes with one stone.
bythoven
cc-lemma
Refreshing automation for inductive equational proofs using e-graphs
Gail-experiments
grade-inspector
LimelightDocs
Official documentation for the Limelight Smart Camera for FRC.
linuszheng.github.io
mmap_discussion
MORSEnger
quantum-key-distribution
linuszheng's Repositories
linuszheng/bythoven
linuszheng/linuszheng.github.io
linuszheng/MORSEnger
linuszheng/quantum-key-distribution
linuszheng/bet
Code and website for Behavior Transformers: Cloning k modes with one stone.
linuszheng/Gail-experiments
linuszheng/grade-inspector
linuszheng/LimelightDocs
Official documentation for the Limelight Smart Camera for FRC.
linuszheng/mmap_discussion
linuszheng/node-redis
A high-performance Node.js Redis client.
linuszheng/speed-scrobble
linuszheng/supercompilation-hypergraph
linuszheng/symbolicregression
SR based on LLMs.