This category contains experimental programming languages, including languages developed in theoretical computer science research.