Practical volume computation and sampling in high dimensions

Practical volume computation and sampling in high dimensions. R interface of volesti C++ library.

GeomScale in Google Summer of Code 2025

The SAT and QBF Programming Language Bule

A computer algebra system written in pure Python

Main repository of SageMath

SCIP - Solving Constraint Integer Programs

Encodings for positional games in QBF

Curated list of theoretical computer science resources

A curated list of amazingly awesome Complexity Science resources, courses and shiny things

A minimalistic and high-performance SAT solver

DepQBF, a solver for quantified boolean formulae (QBF).

Below is the complete avionics system developed for Solaris, supporting both mission-critical functions and experimental data acquisition.

SignTrack is a sign language transcriber. It analyzes, processes, and recognizes sign language in real-time, with exceptional accuracy and efficiency.