Pinned Repositories
p4-spec
cs517
exams
a place to back up writings of my exams
haskelldb
A library for building re-usable and composable SQL queries.
HaskellProgramming
solutions to haskell programming book
mysql2sqlite
Converts MySQL dump to SQLite3 compatible dump
p4-spec
paper_summary
A summary of papers that I'll read over the years
petr4
Petr4: Formal Semantics for P4
softwareFundation
A repo for Coq practices
pataei's Repositories
pataei/paper_summary
A summary of papers that I'll read over the years
pataei/cs517
pataei/exams
a place to back up writings of my exams
pataei/haskelldb
A library for building re-usable and composable SQL queries.
pataei/HaskellProgramming
solutions to haskell programming book
pataei/mysql2sqlite
Converts MySQL dump to SQLite3 compatible dump
pataei/p4-spec
pataei/petr4
Petr4: Formal Semantics for P4
pataei/softwareFundation
A repo for Coq practices