Programming languages and tools

Proof assistants

• PVS theorem prover
• Agda
• Idris2
• Lean
• Isabelle

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
• AWK

Others:

• Prolog
• APL
• Lua
• Ada

• Other languages