Highlights
- All languages
- ATS
- Arduino
- Assembly
- Batchfile
- Blade
- C
- C#
- C++
- CLIPS
- CMake
- CSS
- Circom
- Clojure
- CoffeeScript
- Common Lisp
- Cuda
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- FreeMarker
- GLSL
- Gnuplot
- Go
- Groovy
- HTML
- Hack
- Haskell
- Inform 7
- Inno Setup
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Less
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Metal
- OCaml
- Objective-C
- Objective-C++
- OpenEdge ABL
- PHP
- PostScript
- Processing
- Prolog
- Pug
- Python
- R
- ReScript
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Solidity
- Stylus
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- Vala
- Vim Script
- Vue
Starred repositories
2
stars
written in OCaml
Clear filter
A static analyzer for Java, C, C++, and Objective-C