cdsat. OCaml
yicesQS. Quantified Satisfiability in Yices
AbsPatternMatch. Coq formalisation of an Abstract Pattern-Matching / Abstract Focussing calculus - semantics and normalisation
benchmarking. OCaml
thunderRAG. RAG for Thunderbird
