http://teherba.org/tehowiki/index.php?action=history&feed=atom&title=Talk%3ASeqbox 2026-05-25T11:21:16Z Revision history for this page on the wiki MediaWiki 1.42.1 http://teherba.org/tehowiki/index.php?title=Talk:Seqbox&diff=745&oldid=prev 2022-06-16T12:44:30Z

<p>S/R</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 12:44, 16 June 2022</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>===<del style="font-weight: bold; text-decoration: none;">Planned</del>===</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>===<ins style="font-weight: bold; text-decoration: none;">Rare languages</ins>===</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">=====S/R====</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* 390 x used by Ron Hardin</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* Cf. [https://www.academia.edu/19258336/Fighting_livelock_in_the_GNU_i_protocol_a_case_study_in_explicit_state_model_checking Fighting livelock ...] article, section 4.1.1</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* Part of Cospan (HHK96) : R. H. Hardin, Z. Har’El, and R. P. Kurshan. COSPAN. In Alur and Henzinger [AH96], pages 423–427.</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* [AH96] R. Alur and T. A. Henzinger, editors. Computer Aided Verification (CAV ’96), volume 1102 of Lecture Notes in Computer Science, New Brunswick, New Jersey, July 1996. Springer-Verlag</ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* R. H. Hardin, Z. Har'El and R. P. Kurshan [https://link.springer.com/content/pdf/10.1007%2F3-540-61474-5_94.pdf COSPAN]</ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>===Internet===</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>===Internet===</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://tryapl.org/ APL], try the only one in [https://oeis.org/A239751 A239751]:  </div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://tryapl.org/ APL], try the only one in [https://oeis.org/A239751 A239751]:  </div></td></tr> <!-- diff cache key tehowiki:diff:1.41:old-744:rev-745:php=table --> </table>

imported>Gfis http://teherba.org/tehowiki/index.php?title=Talk:Seqbox&diff=744&oldid=prev 2022-06-12T14:07:14Z

<p>moved from the Seqbox page</p> <p><b>New page</b></p><div>===Planned===<br /> ===Internet===<br /> * [https://tryapl.org/ APL], try the only one in [https://oeis.org/A239751 A239751]: <br /> ((+⌿(22⍴2)⊤C)&lt;+⌿0≠(5⍴10)⊤C)/C←⍳10000<br /> * [https://stackblitz.com/fork/js Javascript]<br /> * [http://magma.maths.usyd.edu.au/calc/ Magma], try [https://oeis.org/A118934 A118934]:<br /> F:=Factorial; [(&amp;+[F(n)/(4^j*F(j)*F(n-4*j)): j in [0..Floor(n/4)]]): n in [0..30]];<br /> * [https://webperl.zero-g.net/democode/index.html Perl], WebPerl code demo, try [https://oeis.org/A065520 A065520]<br /> * [https://stackoverflow.com/questions/14750747/org-apache-catalina-lifecycleexception-failed-to-start-component-standardengin Tcl], &#039;&#039;[http://aidanhs.github.io/emtcl/ EmTCL]&#039;&#039;, <br /> ===[[seqbox/Jupyter]]===<br /> ===Other links===<br /> * [https://emscripten.org/ Emscripten.org], a complete Open Source compiler toolchain to WebAssembly, compiles C and C++ code, or any other language that uses LLVM, into WebAssembly<br /> * [https://www.jython.org/ jython.org], provides implementations of Python in Java<br /> * [https://github.com/fhinkel/InteractiveShell InteractiveShell], builds web interfaces for commandline tools</div>

imported>Gfis