Associate Professor
University of Toronto
-
University of Toronto
- https://www.cs.toronto.edu/~meel/
Highlights
- Pro
Popular repositories Loading
-
counting-benchmarks
counting-benchmarks PublicForked from dfremont/counting-benchmarks
A collection of model counting (#SAT) benchmarks.
-
-
-
CSrankings
CSrankings PublicForked from emeryberger/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.
Python
-
-
cvmcount
cvmcount PublicForked from urschrei/cvmcount
A Rust implementation of the CVM algorithm for counting distinct elements in a stream
Rust
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.