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