Information about coding assistants and other LLM-based engineering tools

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

A modern proof language

PL Reading Group Website

Attachment Converter: tool for batch converting attachments in an email mailbox

What do you mean?

A SAT solver written in Haskell.