kuldeepmeel

Associate Professor University of Toronto

University of Toronto

Pinned Repositories

acmart
ACM consolidated LaTeX styles
Language:TeX623 22 377256
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Language:Python2.7k 41 1.3k3.3k
acmart
ACM consolidated LaTeX styles
Language:TeX0 0 00
counting-benchmarks
A collection of model counting (#SAT) benchmarks.
00
cryptominisat
An advanced SAT Solver
Language:C++00
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Language:Python00
cvmcount
A Rust implementation of the CVM algorithm for counting distinct elements in a stream
Language:Rust00
plse-website
Language:Vue00
approxmc
Approximate Model Counter
Language:C++70 7 3625
cryptominisat
An advanced SAT solver
Language:C++828 28 620185

kuldeepmeel's Repositories

kuldeepmeel/acmart
ACM consolidated LaTeX styles
Language:TeX0 0 00
kuldeepmeel/counting-benchmarks
A collection of model counting (#SAT) benchmarks.
00
kuldeepmeel/cryptominisat
An advanced SAT Solver
Language:C++00
kuldeepmeel/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Language:Python00
kuldeepmeel/cvmcount
A Rust implementation of the CVM algorithm for counting distinct elements in a stream
Language:Rust00
kuldeepmeel/plse-website
Language:Vue00