Popular repositories

1. cadical-rs cadical-rs Public

   Forked from mmaroti/cadical-rs

   Rust bindings for the CaDiCaL SAT solver

   C++ 2 2

2. hwmcc_analyze hwmcc_analyze Public

   Simple script for figuring out which problems in HWMCC are yet to be solved.

   Python 2

3. operate_first_prometheus_data operate_first_prometheus_data Public

   Python 1

4. 236754_project_in_intelligent_systems 236754_project_in_intelligent_systems Public

   Jupyter Notebook 1

5. citizensassemblies-replication citizensassemblies-replication Public

   Forked from pgoelz/citizensassemblies-replication

   Code for the experiments in the paper: Bailey Flanigan, Paul Gölz, Anupam Gupta, Brett Hennig, Ariel D. Procaccia. Fair Algorithms for Selecting Citizens' Assemblies.

   Python 1

6. hw3-node-test hw3-node-test Public

   Forked from OrianTechnion/hw3-node-test

   JavaScript 1