software engineer, distributed systems, open source, unix family, cooking and sports
Lists (4)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- ActionScript
- Alloy
- Assembly
- Batchfile
- Bicep
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CodeQL
- CoffeeScript
- D
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- Fennel
- Go
- Groovy
- HCL
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Max
- Nginx
- Nim
- Nix
- Nunjucks
- Nushell
- OCaml
- Objective-C
- Odin
- OpenSCAD
- PHP
- PLpgSQL
- Perl
- PostScript
- PowerShell
- PureScript
- Python
- R
- ReScript
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Swift
- SystemVerilog
- TLA
- Tcl
- TeX
- Tree-sitter Query
- TypeScript
- V
- Vim Script
- Vue
- Zig
Starred repositories
3
stars
written in OCaml
Clear filter
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
A static analyzer for Java, C, C++, and Objective-C
A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml