Revision as of 13:44, 16 June 2022 by Gfis (talk | contribs) (S/R)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Rare languages


  • 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


F:=Factorial; [(&+[F(n)/(4^j*F(j)*F(n-4*j)): j in [0..Floor(n/4)]]): n in [0..30]];


Other links

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