Popular repositories Loading

1. cbTSP cbTSP Public

   A high level path planning solver for the SAT-TSP problem described in "An SMT-Based Approach to Motion Planning for Multiple Robots with Complex Constraints".

   C 11

2. subisosat-lib subisosat-lib Public

   A Subgraph Isomorphism library extension for igraph that uses a SAT solver. This work was used in "Securing Computer Hardware Using 3D Integrated Circuit (IC) Technology and Split Manufacturing for…

   C++ 2

3. circuit-security circuit-security Public

   K-Security for 3D Circuits as described in “Securing Computer Hardware Using 3D Integrated Circuit (IC) Technology and Split Manufacturing for Obfuscation”.

   C++ 1

4. advent-of-code advent-of-code Public

   https://adventofcode.com/

   Python

5. agentic-config agentic-config Public

   Forked from darrenhinde/OpenAgentsControl

   Frank's AI agents, commands, and configs.

   TypeScript