Category
page 1Programming languages created in 1984
Common Lisp
ANSI-standardized dialect of Lisp
Verilog
Verilog, standardized as IEEE 1364, is a hardware description language (HDL) used to model electronic systems. It is most commonly used in the design and verification of digital circuits, with the highest level of abstraction being at the register-transfer level. It is also used in the verification of analog circuits and mixed-signal circuits, as well as in the design of genetic circuits.
Visual FoxPro
programming language

Rocq prover
thumb|300x300px|An interactive proof session in CoqIDE, showing the proof script on the left and the proof state on the right.
MSX BASIC
programming language
4th Dimension
relational database and programming language