Difference between revisions of "Talk:Seqbox"

From teherba.org
Jump to: navigation, search
(moved from the Seqbox page)
 
(S/R)
 
Line 1: Line 1:
===Planned===
+
===Rare languages===
 +
=====S/R====
 +
* 390 x used by Ron Hardin
 +
* 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
 +
* Part of Cospan (HHK96) : R. H. Hardin, Z. Har’El, and R. P. Kurshan. COSPAN. In Alur and Henzinger [AH96], pages 423–427.
 +
* [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
 +
* 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]
 
===Internet===
 
===Internet===
 
* [https://tryapl.org/ APL], try the only one in [https://oeis.org/A239751 A239751]:  
 
* [https://tryapl.org/ APL], try the only one in [https://oeis.org/A239751 A239751]:  

Latest revision as of 13:44, 16 June 2022

Rare languages

=S/R

  • 390 x used by Ron Hardin
  • Cf. Fighting livelock ... article, section 4.1.1
  • Part of Cospan (HHK96) : R. H. Hardin, Z. Har’El, and R. P. Kurshan. COSPAN. In Alur and Henzinger [AH96], pages 423–427.
  • [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
  • R. H. Hardin, Z. Har'El and R. P. Kurshan COSPAN

Internet

((+⌿(22⍴2)⊤C)<+⌿0≠(5⍴10)⊤C)/C←⍳10000
F:=Factorial; [(&+[F(n)/(4^j*F(j)*F(n-4*j)): j in [0..Floor(n/4)]]): n in [0..30]];

seqbox/Jupyter

Other links

  • Emscripten.org, a complete Open Source compiler toolchain to WebAssembly, compiles C and C++ code, or any other language that uses LLVM, into WebAssembly
  • jython.org, provides implementations of Python in Java
  • InteractiveShell, builds web interfaces for commandline tools