Home | Blog | Wiki | About

Proof assistants

• PVS theorem prover
• Agda
• Idris2
• Lean

Programming languages

HDLs:

• Bluespec
• VHDL
• Verilog

Programming languages popular for functional-style:

• Standard ML
• Haskell
• OCaml
• Racket
• elisp
• Rust
• Scala

Programming languages popular for imperative-style:

• Python
• C
• C++
• Java

Languages for scripting:

• Bash
• tcl
• Perl

Others:

• Prolog
• APL
• Lua

• Other languages