| barghouthi/cs704 |
52 |
|
0 |
0 |
almost 4 years ago |
0 |
|
0 |
|
TeX |
| CS 704 course website - Principles of Programming Languages |
| jsiek/B629-denotational |
52 |
|
0 |
0 |
almost 8 years ago |
0 |
|
1 |
|
TeX |
| Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University |
| samoconnor/lambdalatex |
19 |
|
0 |
0 |
over 7 years ago |
0 |
|
4 |
mit |
Julia |
| Latex TeX Live for AWS Lambda |
| conal/2017-talk-teaching-new-tricks-to-old-programs |
16 |
|
0 |
0 |
over 7 years ago |
0 |
|
0 |
|
TeX |
| Keynote talk for Lambda Jam 2017 in Sydney |
| umutozge/computational-semantics |
15 |
|
0 |
0 |
about 2 years ago |
0 |
|
0 |
mit |
TeX |
| COGS 543 - Computational Semantics |
| jnayak1/pdflatex-lambda |
7 |
|
0 |
0 |
over 7 years ago |
0 |
|
0 |
apache-2.0 |
TeX |
| AWS Lambda function handler for converting LaTeX documents into PDFs |
| serverlesspub/latex-aws-lambda-layer |
6 |
|
0 |
0 |
almost 7 years ago |
0 |
|
2 |
other |
JavaScript |
| latex/pdflatex binaries for AWS Lambda |
| lambda-land/Lambda-LaTeX |
5 |
|
0 |
0 |
almost 8 years ago |
0 |
|
0 |
|
TeX |
| LaTeX macros used by the Lambda Group at Oregon State University. |
