nbdrc

PhD Student, Formal Methods

Old Dominion University

Pinned Repositories

markdown-cv
a simple template to write your CV in a readable markdown file and use CSS to publish/print it.
Language:CSS00
md-cv
markdown cv / résumé built with jekyll
Language:CSS00
nbdrc.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
Language:JavaScript00
PG
This repo is the new home of Proof General
Language:Emacs Lisp00
TekkenBot
AI and tools for playing and understanding Tekken 7
Language:Python00

nbdrc's Repositories

nbdrc/markdown-cv
a simple template to write your CV in a readable markdown file and use CSS to publish/print it.
Language:CSS00
nbdrc/md-cv
markdown cv / résumé built with jekyll
Language:CSS00
nbdrc/nbdrc.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
Language:JavaScript00
nbdrc/PG
This repo is the new home of Proof General
Language:Emacs Lisp00
nbdrc/TekkenBot
AI and tools for playing and understanding Tekken 7
Language:Python00