Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
ntscomp_ntslib [2012/07/10 20:53] radu.iosif |
ntscomp_ntslib [2012/07/10 23:03] radu.iosif |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| * The **NTL language specification**: {{:ntslib.pdf|pdf}} | * The **NTL language specification**: {{:ntslib.pdf|pdf}} | ||
| + | * Benchmark [[https://github.com/hhojjat/NTSLib|examples]] | ||
| * **Java** distribution: {{:java-nts-1.0.0.tgz|java-nts-1.0.0.tgz}} | * **Java** distribution: {{:java-nts-1.0.0.tgz|java-nts-1.0.0.tgz}} | ||
| * **OCaml** distribution: {{ocaml-nts-1.0.0.tgz|ocaml-nts-1.0.0.tgz}} | * **OCaml** distribution: {{ocaml-nts-1.0.0.tgz|ocaml-nts-1.0.0.tgz}} | ||