Fil-C: completely compatible memory safety for C and C++

A curated list of GPT agents for cybersecurity

Simple expression transformer that is not Coq.

An axiom-free formalization of category theory in Coq for personal study and practical work

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.