kopptr/GTCluster_Job_Scheduler
Jamie Davis and Tim Kopp's job scheduling utility. Allows you to convert a set of nodes into a rudimentary cluster
A webserver which embeds Python and aims to make web development in Python easier and more accessible.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Jamie Davis and Tim Kopp's job scheduling utility. Allows you to convert a set of nodes into a rudimentary cluster
A Go implementation of the WalkSAT algorithm
Public repository.
An Adaptive SAT Solver