C

TAOCP, Volume 4, Fascicle 6: Satisfiability

Literate programming, implementations and their containers.

Posted on January 28, 2026 | 3 min | 550 words | Donald E. Knuth

Categories: taocp knuth cweb c books Tags: satisfiability

The Stanford GraphBase and CWEB

A Platform for Combinatorial Computing and a System of Structured Documentation

Posted on January 25, 2026 | 1 min | 9 words | Donald E. Knuth

Categories: knuth containers cweb c graphs

Rust bindings for Postgres

Over the libpq C library

Posted on January 23, 2026 | 6 min | 1104 words | Massimo Nocentini

Categories: rust bindings postgresql c

Rust bindings for igraph

and the companion container

Posted on January 12, 2026 | 1 min | 36 words | Massimo Nocentini

Categories: rust bindings containers graphs c Tags: igraph