The job search that runs on your machine. AI job application framework built on Claude Code: evaluate postings, tailor CVs, write cover letters, prep interviews. Fork it and own it.

Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.

Evaluation Scripts for GBD

Lecture: Practical SAT Solving (ST 2025)

a structural diff that understands syntax 🟥🟩

This repository contains the code of Intel(R) SAT Solver (IntelSAT)

Encoding different problems into Boolean satisfiability

KaMPIng: (Near) zero-overhead MPI wrapper for modern C++

Generative Models by Stability AI

Animation engine for explanatory math videos

A living benchmark framework for symbolic regression

Implementation of multi-core (binary) decision diagrams

CaDiCaL SAT Solver

LPR proof checking with CakeML

Powerful assertions made easy: Define assertion levels, get insights with expression decomposition, and switch between exceptions and assertions.

Library for creation of SAT instances.

Low-level Java bindings to the IPASIR C interface

SMAC3: A Versatile Bayesian Optimization Package for Hyperparameter Optimization

KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisection based partitioning algorithms that compute solutions of …

Targeted Branching for Maximum Independent Sets

A novel SAT solver prototype

Execute a set of commands under homogeneous memory, time, and CPU constraints.

Argument Parser for Modern C++