- All languages
- Adblock Filter List
- Arduino
- Assembly
- Astro
- AutoHotkey
- AutoIt
- Awk
- Batchfile
- Bikeshed
- BitBake
- BlitzBasic
- Boo
- Brainfuck
- BrighterScript
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Crystal
- Cuda
- Cython
- D
- DIGITAL Command Language
- DM
- Dart
- Dockerfile
- Eagle
- Elixir
- Elm
- Emacs Lisp
- Erlang
- Forth
- GDScript
- Go
- Groovy
- HCL
- HLSL
- HTML
- Hack
- Handlebars
- Haskell
- Haxe
- Inno Setup
- Java
- JavaScript
- JetBrains MPS
- Jinja
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Less
- Liquid
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Meson
- Modula-2
- Modula-3
- NSIS
- NewLisp
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Odin
- OpenSCAD
- PHP
- PLpgSQL
- Pascal
- Perl
- PowerShell
- Processing
- Prolog
- Propeller Spin
- PureScript
- Python
- QML
- R
- RPC
- RPM Spec
- Racket
- Ren'Py
- RenderScript
- Rich Text Format
- RobotFramework
- Roff
- Ruby
- Rust
- SCSS
- SVG
- Sass
- Scala
- ShaderLab
- Shell
- Smali
- Smarty
- Solidity
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TSQL
- TeX
- TypeScript
- V
- VBA
- VBScript
- VHDL
- Vala
- Verilog
- Vim Script
- Visual Basic
- Visual Basic .NET
- Vue
- WebAssembly
- Wikitext
- YARA
- Zeek
- Zig
- hoon
Starred repositories
4
stars
written in OCaml
Clear filter
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
magic-trace collects and displays high-resolution traces of what a process is doing
A language that compiles to Bash and Windows Batch
Hotcaml: an interpreter with watching and reloading