Talk:Seqbox: Difference between revisions
Jump to navigation
Jump to search
imported>Gfis moved from the Seqbox page |
imported>Gfis S/R |
||
Line 1: | Line 1: | ||
=== | ===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 12: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
- Javascript
- Magma, try A118934:
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