Popular repositories Loading

1. counting-benchmarks counting-benchmarks Public

   Forked from dfremont/counting-benchmarks

   A collection of model counting (#SAT) benchmarks.

2. cryptominisat cryptominisat Public

   Forked from msoos/cryptominisat

   An advanced SAT Solver

   C++

3. acmart acmart Public

   Forked from borisveytsman/acmart

   ACM consolidated LaTeX styles

   TeX

4. CSrankings CSrankings Public

   Forked 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

5. plse-website plse-website Public

   Forked from ProSE-uoft-org/group-website

   Vue

6. cvmcount cvmcount Public

   Forked from urschrei/cvmcount

   A Rust implementation of the CVM algorithm for counting distinct elements in a stream

   Rust