Gitpod verified

• Agda
• C
• CSS
• Dart
• Dockerfile
• Elixir
• Go
• Haskell
• HTML
• Hy
• JavaScript
• Jsonnet
• Makefile
• Nix
• Other
• PHP
• Python
• Ruby
• Rust
• Scala
• SCSS
• Shell
• Svelte
• TLA
• TypeScript