Stars
- All languages
- Ada
- Assembly
- Batchfile
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- GDScript
- Go
- Gosu
- Groovy
- HCL
- HTML
- Hack
- Haskell
- Haxe
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LiveScript
- Lua
- MDX
- Makefile
- Markdown
- Mathematica
- MoonScript
- NSIS
- Nim
- OCaml
- Objective-C
- Objective-C++
- PHP
- PLpgSQL
- Pascal
- Perl
- PowerShell
- Puppet
- Python
- QML
- QuickBASIC
- Racket
- ReScript
- Reason
- Red
- Ren'Py
- Rich Text Format
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Shell
- Smalltalk
- Starlark
- Svelte
- Swift
- TeX
- Twig
- TypeScript
- VBA
- VBScript
- Vim Script
- Vue
- ZIL
7
stars
written in OCaml
Clear filter
A static analyzer for Java, C, C++, and Objective-C
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
My solutions for AoC 2017, using Nim, OCaml, and Python