Pinned Repositories
autolabEvaluation
CodeBERT
CodeBERT
five-or-more
Remove colored balls from the board by forming lines
MLLF
mollusc-shell
Exoskeleton shell around (soft) UNIX commands.
P4BID
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
src
Automatic conversion of the NetBSD src CVS module, use with care
xfast
Xfast Trie
zettelkasten
aakp10's Repositories
aakp10/MLLF
aakp10/src
Automatic conversion of the NetBSD src CVS module, use with care
aakp10/CodeBERT
CodeBERT
aakp10/mollusc-shell
Exoskeleton shell around (soft) UNIX commands.
aakp10/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
aakp10/xfast
Xfast Trie
aakp10/zettelkasten
aakp10/Dino-Playbook
aakp10/P4BID
aakp10/generics
aakp10/jaeger
CNCF Jaeger, a Distributed Tracing Platform
aakp10/key-val-store
dummy key value store
aakp10/latex-build-action
aakp10/libgtop
libgtop
aakp10/lottery-scheduler
Cheddar Simulation
aakp10/md2pdf
Hacky way to get customized stylings from md->pdf
aakp10/neural-network
aakp10/nmap
Nmap - the Network Mapper. Github mirror of official SVN repository.
aakp10/pebblesdb
The PebblesDB write-optimized key-value store (SOSP 17)
aakp10/pl.cs.cornell.edu
Website for PL@Cornell
aakp10/pltea.github.io
aakp10/posix-semaphores
Conventional semaphore operations
aakp10/proxy
The Istio proxy components.
aakp10/RBTrees
aakp10/RTSched
aakp10/rust-text-ui
experimental text ui in rust
aakp10/sdpd
aakp10/Socket-API
aakp10/tic-tac-toe-assignment
A logic in Comp Sci. assignment
aakp10/veri-wimpy-log
Collecting some verilog modules from past and future.