#+TITLE: README

 - haskell
 - sml

 - agda
 - coq
 - pvs
 - beluga

 - apl
 - c
 - cpp
 - rust

 - python
 - lua
 - bash

 - nusmv
 - risc-v

 - verilog
 - vhdl

 - misc