Datalog for Program Analysis

by Ryan Williams

A comprehensive tutorial on using Datalog for program analysis, covering syntax, setup, and practical examples with Soufflé.

Categories:
programming, datalog, tutorial
Tags:
datalog, program-analysis, logic-programming, tutorial, souffle

Coq Cheatsheet: Tools and Tactics for Goal Solving

by Ryan Williams

WORK IN PROGRESS -- A quick reference guide to Coq tactics and tools for solving goals, with examples.

Categories:
formal-methods, coq, reference
Tags:
coq, proof-assistant, tactics, formal-verification, cheatsheet, reference

Rendering LaTeX in Hakyll

by Ryan Williams

Complete guide to setting up and rendering LaTeX documents in Hakyll static site generator, including math expressions, code blocks, and advanced formatting.

Categories:
web-development, hakyll, tutorial
Tags:
latex, hakyll, static-site, pandoc, web-development, blogging