kbagg

I am a PhD student interested in cryptography.

Pinned Repositories

.emacs.d
Emacs configuration
Language:HTML00
2-safety-verification
Language:Python02
assignment
00
chat-client
01
CS633-2018-19-2
00
elfutils
My elfutils fork
Language:C00
Hacking-on-NachOS
Hacking on NachOS: Operating System CS330A Assignments
Language:C++00
iitbqa
Language:Java00
Interpreter-POPL
Language:Oz00
kbagg.github.io
Language:HTML00

kbagg's Repositories

kbagg/iitbqa
Language:Java
kbagg/2-safety-verification
Language:Python2
kbagg/CS633-2018-19-2
kbagg/Interpreter-POPL
Language:Oz
kbagg/kbagg.github.io
Language:HTML
kbagg/website
kbagg/OpenPLC_v2
OpenPLC with the new IEC ST to C compiler
Language:C++
kbagg/libdwarf
Language:C
kbagg/melpa
Recipes and build machinery for the biggest Emacs package repo
Language:Emacs Lisp
kbagg/use-package
A use-package declaration for simplifying your .emacs
Language:Emacs Lisp
kbagg/tools
Tools built using Dyninst or Dyninst component libraries.
Language:C
kbagg/.emacs.d
Emacs configuration
Language:HTML
kbagg/assignment
kbagg/Hacking-on-NachOS
Hacking on NachOS: Operating System CS330A Assignments
Language:C++
kbagg/chat-client
1
kbagg/elfutils
My elfutils fork
Language:C