All Assembly Boogie C C# C++ Clojure CMake CoffeeScript Coq CSS Dart Dockerfile F# Fortran Go Haskell HTML Hy Java JavaScript Jupyter Notebook Kaitai Struct LLVM Lua Makefile Mathematica MATLAB Max Nextflow Objective-C OCaml Pascal Perl PLpgSQL PLSQL PowerShell Processing Python QML R Racket Roff Ruby Rust Scala SCSS Shell SmPL SMT Standard ML SystemVerilog Tcl TeX TSQL TypeScript Typst Vala Verilog Visual Basic Vue WebAssembly WGSL XSLT Yacc YARA Zig