Programming Languages

What is ML/I?

• url: http://www.ml1.org.uk/whatis.html

.

merd's home page

• url: https://web.archive.org/web/20060219044548/http://merd.sourceforge.net/

.

GP (Graph Programs) - The Programming Languages and Systems Research Group

• url: https://web.archive.org/web/20160325011907/https://www.cs.york.ac.uk/plasma/wiki/index.php?title=GP_%28Graph_Programs%29

.

The ABC Programming Language: a short introduction

• url: https://homepages.cwi.nl/~steven/abc/

.

programming languages - How does Tarjan\'s pseudocode work (explained to someone familiar with C or Java)? - Computer Science Stack Exchange

• url: https://cs.stackexchange.com/questions/103816/how-does-tarjans-pseudocode-work-explained-to-someone-familiar-with-c-or-java

.

BASICO programming language

• url: http://www.andreadrian.de/tbng/index.html
• topics: Programming Languages, BASIC

.

(modal)

• url: https://wryl.tech/projects/modal.html

.

Perl Source - www.cpan.org

• url: https://www.cpan.org/src/

.

Action! Programming Language Version 3.6 - Source Code : Optimized Systems Software : Free Download, Borrow, and Streaming : Internet Archive

• url: https://archive.org/details/ActionVersion36_SourceCode
• topics: Programming Languages, Retrocomputing
• associated-repo: https://github.com/NaturalTangent/Action-

.

Pure Programming Language

• url: https://agraef.github.io/pure-lang/
• topics: Programming Languages, Term Rewriting
• associated-repo: https://github.com/agraef/pure-lang

.

bondi

• url: https://web.archive.org/web/20120118182341/http://bondi.it.uts.edu.au/
• topics: Programming Languages, Unification
• associated-repo: https://github.com/tylergreen/bondi

.

Refal

• url: https://cgi.csc.liv.ac.uk/~alexei/VeriSuper/node2.html
• topics: Programming Languages, Term Rewriting

.

K | Runtime Verification Inc

• url: https://kframework.org/
• topics: Programming Languages, Term Rewriting

.

GF - Grammatical Framework

• url: https://www.grammaticalframework.org/
• topics: Programming Languages, Formal Language, Linguistics

.

Grammatical Framework (programming language) - Wikipedia

• url: https://en.wikipedia.org/wiki/Grammatical_Framework_(programming_language)
• topics: Programming Languages, Formal Language, Linguistics

.