A language definition for Isabelle, for use in the LaTeX `listings` package.

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

Minimal implementations for dependent type checking and elaboration

Boilerplate configuration for nginx and certbot with docker-compose

Search inside YouTube videos using natural language