anirudhSK/trifleware
minutiae when communicating research
Associate Professor at Courant Institute at NYU
Repositories
anirudhSK/orp_hardness
anirudhSK/rocq_musings
anirudhSK/free-generators
anirudhSK/Mooncake
Mooncake is the serving platform for Kimi, a leading LLM service provided by Moonshot AI.
anirudhSK/rosette_hacking
anirudhSK/dice_in_lean
anirudhSK/gossip_algorithms
anirudhSK/claudes-c-compiler
Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.
anirudhSK/alfalfa
anirudhSK/aes-gcm
anirudhSK/effect_handlers
anirudhSK/dep_types_for_gapl
anirudhSK/drmt
anirudhSK/parser_syn
Synthesizing parser implementations
anirudhSK/pkt_reorder
anirudhSK/chromium
anirudhSK/contest
6.829 contest
anirudhSK/caravel_user_project
anirudhSK/libclang-samples
Sample programs to use Clang's lowest-level stable C API (http://clang.llvm.org/doxygen/group__CINDEX.html)
anirudhSK/netviz
Network visualization project
anirudhSK/cell-codel
Implementation of codel for cellsim
anirudhSK/switch-sim
Shared-memory switch simulator
anirudhSK/p4-semantics
Static checker to analyze P4 semantics
anirudhSK/fft
anirudhSK/pkt-compiler-v1
anirudhSK/cloudex_analysis
anirudhSK/pifo-domino-marple-ppts
anirudhSK/confucius
My attempts at understanding SKETCH (https://bitbucket.org/gatoatigrado/sketch-frontend/wiki/Home)
anirudhSK/denarii
Auction-based scheduling for SmartNICs