<td>idlang</td>
<td>Interactive Data Language</td>
</tr>
+ <tr>
+ <td>idris</td>
+ <td>The Idris programming language (idris-lang.org) [aliases: idr]</td>
+ </tr>
<tr>
<td>igorpro</td>
<td>WaveMetrics Igor Pro</td>
<td>lasso</td>
<td>The Lasso programming language (lassosoft.com) [aliases: lassoscript]</td>
</tr>
+ <tr>
+ <td>lean</td>
+ <td>The Lean programming language (leanprover.github.io) [aliases: lean]</td>
+ </tr>
<tr>
<td>liquid</td>
<td>Liquid is a templating engine for Ruby (liquidmarkup.org)</td>
<td>plist</td>
<td>plist [aliases: plist]</td>
</tr>
+ <tr>
+ <td>plsql</td>
+ <td>Procedural Language Structured Query Language for Oracle relational database</td>
+ </tr>
<tr>
<td>pony</td>
<td></td>
<td>systemd</td>
<td>A lexer for systemd unit files [aliases: unit-file]</td>
</tr>
+ <tr>
+ <td>syzlang</td>
+ <td>Syscall description language used by syzkaller</td>
+ </tr>
+ <tr>
+ <td>syzprog</td>
+ <td>Program description language used by syzkaller</td>
+ </tr>
<tr>
<td>tap</td>
<td>Test Anything Protocol [aliases: tap]</td>