Formal verification and programming languages researcher.
Highlights
- Pro
Stars
- All languages
- ATS
- Agda
- Assembly
- Batchfile
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Dafny
- Dockerfile
- Elm
- Emacs Lisp
- Erlang
- F*
- Frege
- Go
- Grammatical Framework
- HTML
- Haskell
- Idris
- Janet
- Java
- JavaScript
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- LiveScript
- Lua
- MATLAB
- Makefile
- Mathematica
- Nearley
- Nix
- Nunjucks
- OCaml
- Objective-C
- Opa
- OpenSCAD
- Perl
- PostScript
- Prolog
- PureScript
- Python
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- SystemVerilog
- TeX
- TypeScript
- UrWeb
- Vim Script
- Visual Basic
- Visual Basic .NET
- wisp
1
star
written in Perl
Clear filter
check for passive words, weasel words, duplicate words, typographical errors and words strunk & white don't like