Theory In Practice

Pinned Loading

Showing 10 of 19 repositories

TheoryInPractice/theoryinpractice.github.io’s past year of commit activity

CSS 0 0
0 0
Updated Nov 3, 2025
TheoryInPractice/clique-aggregator’s past year of commit activity

1
BSD-3-Clause 0
0 0
Updated Aug 6, 2025
TheoryInPractice/FairInfoAccessHeuristics’s past year of commit activity

Python 0
2 0 0
Updated Feb 7, 2025
TheoryInPractice/robotic-brewing’s past year of commit activity

C++ 0 BSD-3-Clause 0
0 0
Updated Jan 11, 2025
hydraprime Public
Twinwidth Solver for 2023 PACE Challenge

TheoryInPractice/hydraprime’s past year of commit activity

C++
1
Apache-2.0
1 0 0
Updated Oct 7, 2023
practical-oct Public
Suite of pre-processing routines, heuristic solvers, and harnesses for comparing algorithms for Odd Cycle Transversal (graph bipartization).

TheoryInPractice/practical-oct’s past year of commit activity

Python
5
BSD-3-Clause 0
1 0
Updated Jul 10, 2023
TheoryInPractice/overlapping-ecc’s past year of commit activity

Julia 0
2 0 0
Updated May 26, 2023
TheoryInPractice/DeCAF’s past year of commit activity

Python 0 BSD-3-Clause 0
0 0
Updated Apr 3, 2023
TheoryInPractice/ConSequences’s past year of commit activity

F#
4
BSD-3-Clause
1 0 0
Updated Jan 13, 2023
TheoryInPractice/sparsedomsets’s past year of commit activity

C++ 0 BSD-3-Clause 0
0 0
Updated Aug 22, 2022

This organization has no public members. You must be a member to see who’s a part of this organization.

Loading…