pldb/PLDB huggingface dataset:
IPTSCRAE (pl, appeared 1994)
Origin: Warner New Media
Country: United States


Iptscrae is a stack-oriented scripting language used to give additional functionality to The Palace software and servers. Its name comes from the pronunciation of "script" in Pig Latin. [1] The language was created by Jim Bumgardner, who in turn was inspired by Forth, another stack-based language.  Bumgardner chose this style of language because it is extremely easily to implement an interpreter, since there is no need to support parenthetical groupings or operator precedence. The name "iptScrae" was borrowed by Bumgardner from a former colleague and mentor, Kevin Bjorke, who came up with the name "iptscray" for a freeware Forth interpreter a few years previously.  Bumgardner originally created Iptscrae for Idaho, an in-house multi-media authoring system, similar to HyperCard, which he created while an employee at Warner New Media.  He then reused and modified the IptScrae compiler for the Palace project, which was developed in 1994. Although it is a scripting language, many have used it to provide additional functionality to many other programs and functions. Forums can be created with Iptscrae while embedding it with JavaScript, as many factions of Iptscrae fans have done in the past. It's fully possible to implement Iptscrae with other languages, even if they're not on the same dynamic principles. For example, Iptscrae has, in the past, been webbed together with Java, JavaScript, HTML, and other artificial languages, including other scripting languages, programming languages, specification languages, query languages, and markup languages to add more end-user interactions and commands to other programs, without sacrificing user-friendliness. In the past years, Iptscrae has even been utilized in computer peer groups through open-source language compilers, using not only transformation and hardware description languages, but also combining it with several other genres of computer languages to create an intertwined web of user-friendliness and application compatibility.
IRC chat logs (application, appeared 1988)
Origin: https://microformats.org
Country: United States




12:06 Tantek: what does the datetime stamp represent?
12:07 KevinMarks: in iRC, when it was said
12:07 Tantek: is it a point in time *before* they started speaking?
12:07 Tantek: or *after*?
12:07 Tantek: or somewhere in the *middle*?
12:07 KevinMarks: usually it is quantised to seconds
12:07 KevinMarks: and it is time the msg was received
12:07 Tantek: but the second they started typing or pressed return?
12:08 KevinMarks: prssed return i think
Isabelle (pl, appeared 1986)
Origin: University Of Cambridge
Technische Universität München
Country: United Kingdom and Germany
Website: http://isabelle.in.tum.de/
File extensions: ROOT

Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Isabelle was originally developed at the University of Cambridge and Technische Universität München, but now includes numerous contributions from institutions and individuals worldwide.

The Isabelle theorem prover is an interactive theorem prover, a Higher Order Logic (HOL) theorem prover. It is an LCF-style theorem prover (written in Standard ML), so it is based on a small logical core to ease logical correctness. Isabelle is generic: it provides a meta-logic (a weak type theory), which is used to encode object logics like first-order logic (FOL), higher-order logic (HOL) or Zermelo–Fraenkel set theory (ZFC). Isabelle's main proof method is a higher-order version of resolution, based on higher-order unification. Though interactive, Isabelle also features efficient automatic reasoning tools, such as a term rewriting engine and a tableaux prover, as well as various decision procedures.  Isabelle has been used to formalize numerous theorems from mathematics and computer science, like Gödel's completeness theorem, Gödel's theorem about the consistency of the axiom of choice, the prime number theorem, correctness of security protocols, and properties of programming language semantics. The Isabelle theorem prover is free software, released under the revised BSD license. Isabelle was named by Lawrence Paulson after Gérard Huet's daughter.
iScript (pl, appeared 2008)
Origin: Servertec Inc
Country: United States

Servertec has announced iScript, a platform independent scripting language written in Java, for creating scalable, server-side, object-oriented, n-Tier enterprise solutions. The iScript scripting language features platform independence, object-oriented architecture, web-server integration, support for Common Gateway Interface (CGI), dynamic content generator, static content preprocessor, make facility, just-in-time pcode generator and caching, Java API wrappers and open component API. Servertec will be releasing the iScript Developer Kit, which integrates the iScript scripting language, documentation and examples to the public. Web site developers can use this kit to create and maintain dynamic, data driven and static web sites. iScript preview release is available for free at http://www.servertec.com/. The final release of iScript is scheduled to ship in the second half of 1998. Final pricing details have yet to be announced.
ISLISP (pl, appeared 2007)
Origin: International Organization for Standardization
International Electrotechnical Commission
Country: Switzerland


ISLISP (also capitalized as ISLisp) is a programming language in the LISP family standardized by ISO working group ISO/IEC JTC 1/SC 22/WG 16 (commonly referred to simply as SC22/WG16 or WG16). The primary output of this working group was an International Standard, ISO/IEC 13816:1997(E), published by ISO.  The standard was updated in 2007 and republished as ISO/IEC 13816:2007(E).  Although official publication was through ISO, versions of the ISLISP language specification are available that are believed to be in the public domain.The goal of this standardization effort was to define a small, core language to help bridge the gap between differing dialects of Lisp. It attempted to accomplish this goal by studying primarily Common Lisp, EuLisp, Le Lisp, and Scheme and standardizing only those features shared between them. From ISLISP.info: ISLISP has these design goals:  Compatible with existing Lisp dialects where feasible. Provide basic functionality. Object-oriented. Designed with extensibility in mind. Gives priority to industrial needs over academic needs. Promotes efficient implementations and applications.ISLISP has separate function and variable namespaces (hence it is a Lisp-2). ISLISP's object system, ILOS, is for the most part a subset of CLOS.
International System of Quantities (schema, appeared 2009)
Stands for: International System of Quantities
Origin: General Conference on Weights and Measures
Country: France


The International System of Quantities (ISQ) is a system based on seven base quantities: length, mass, time, electric current, thermodynamic temperature, amount of substance, and luminous intensity. Other quantities such as area, pressure, and electrical resistance are derived from these base quantities by clear, non-contradictory equations. The ISQ defines the quantities that are measured with the SI units and also includes many other quantities in modern science and technology. The ISQ is defined in the international standard ISO/IEC 80000, and was finalised in 2009 with the publication of ISO 80000-1. The 14 parts of ISO/IEC 80000 define quantities used in scientific disciplines such as mechanics (e.g., pressure), light, acoustics (e.g., sound pressure), electromagnetism, information technology (e.g., storage capacity), chemistry, mathematics (e.g., Fourier transform), and physiology.
ISWIM (pl, appeared 1966)
Stands for: If you See What I Mean
Creators: Peter Landin
Origin: RAND Corporation
Country: United Kingdom


ISWIM is an abstract computer programming language (or a family of programming languages) devised by Peter J. Landin and first described in his article The Next 700 Programming Languages, published in the Communications of the ACM in 1966. The acronym stands for "If you See What I Mean" (also said to have stood for "I See What You Mean", but ISWYM was mistyped as ISWIM). Although not implemented, it has proved very influential in the development of programming languages, especially functional programming languages such as SASL, Miranda, ML, Haskell and their successors, and dataflow programming languages like Lucid.


Print `Hello world'
Iterm2 (application, appeared 1996)
Origin: https://github.com/gnachman/iTerm2
Website: https://iterm2.com/

iTerm2 is a replacement for Terminal and the successor to iTerm. It works on Macs with macOS 10.14 or newer. iTerm2 brings the terminal into the modern age with features you never knew you always wanted.


GitHub description: iTerm2 is a terminal emulator for Mac OS X that does amazing things.
ITL (pl, appeared 1981)
Origin: Rutgers University
Country: United States


ITL can refer to:  Imaging Technology Laboratory, part of the University of Arizona's Steward Observatory In the Labyrinth, a role-playing system built on The Fantasy Trip Inferential theory of learning Information Technology Limited, a British computer company of the 1980s (formerly CTL) Institute of Technology Law, National Chiao Tung University a law school in Taiwan Interval Temporal Logic, a temporal logic Islamic Tools and Libraries, a subproject of Arabeyes software which provides Hijri dates, Muslim prayer times and Qibla Italian lira, the former currency of Italy that had ISO 4217 code ITL Iterative test-last, opposite of iterative test-first software development process
Invisible XML (grammarLanguage, appeared 2020)
Also known as: ixml
Creators: Steven Pemberton
Origin: https://github.com/invisibleXML
Country: The Netherlands
Website: https://invisiblexml.org/

Invisible XML is a language for describing the implicit structure of data, and a set of technologies for making that structure explicit as XML markup. It allows you to write a declarative description of the format of some text and then leverage that format to represent the text as structured information.


GitHub description: Invisible XML

url: scheme, ":", authority, path.

scheme: letter+.

authority: "//", host.
host: sub++".".
sub: letter+.

path: ("/", seg)+.
seg: fletter*.
-letter: ["a"-"z"]; ["A"-"Z"]; ["0"-"9"].
-fletter: letter; ".".
J (pl, appeared 1990)
Creators: Kenneth E. Iverson
Roger Hui
Origin: Jsoftware Inc
Country: United States
Website: http://www.jsoftware.com


The J programming language, developed in the early 1990s by Kenneth E. Iverson and Roger Hui, is a synthesis of APL (also by Iverson) and the FP and FL function-level languages created by John Backus. To avoid repeating the APL special-character problem, J uses only the basic ASCII character set, resorting to the use of the dot and colon as inflections to form short words similar to digraphs. Most such "primary" (or "primitive") J words serve as mathematical symbols, with the dot or colon extending the meaning of the basic characters available. Also, many characters which in other languages often must be paired (such as [] {} "" `` or <>) are treated by J as stand-alone words or, when inflected, as single-character roots of multi-character words. J is a very terse array programming language, and is most suited to mathematical and statistical programming, especially when performing operations on matrices. It has also been used in extreme programming and network performance analysis. Like the original FP/FL languages, J supports function-level programming via its tacit programming features. Unlike most languages that support object-oriented programming, J's flexible hierarchical namespace scheme (where every name exists in a specific locale) can be effectively used as a framework for both class-based and prototype-based object-oriented programming. Since March 2011, J is free and open-source software under the GPLv3 license. One may also purchase source under a negotiated license.

GitHub description: J engine source mirror
JADE (pl, appeared 1996)
Origin: Jade Software Corporation
Country: New Zealand


JADE is a proprietary object-oriented software development and deployment platform product from the New Zealand-based Jade Software Corporation, first released in 1996. It consists of the JADE programming language, IDE and debugger, integrated application server and object database management system. Designed as an end-to-end development environment to allow systems to be coded in one language from the database server down to the clients, it also provides APIs for other languages, including .NET Framework, Java, C/C++ and Web services. Although a free limited licence is available for development, using the JADE platform requires per-process fees to be paid.
JAI (pl, appeared 2014)
Creators: Jonathan Blow
Origin: https://github.com/Jai-Community/
Country: Various


Jonathan Blow (born 1971) is an American video game designer and programmer, who is best known as the creator of the independent video games Braid (2008) and The Witness (2016), both of which were released to critical acclaim. From 2001 to 2004, Blow wrote the Inner Product column for Game Developer Magazine. He was the primary host of the Experimental Gameplay Workshop each March at the Game Developers Conference, which has become a premier showcase for new ideas in video games.  In addition, Blow was a regular participant in the Indie Game Jam. Blow is also a founding partner of the Indie Fund, an angel investor fund for independent game projects.


#import "Basic";
main :: () {
   print("Hello, World!\n");
}
JAL compiler (compiler, appeared 2000)
Origin: Van Ooijen Technische Informatica
Country: The Netherlands


JAL (Just Another Language) is a Pascal-like programming language and compiler that generates executable code for PIC microcontrollers.  It is a free-format language with a compiler that runs on Linux, MS-Windows and MS-DOS (OSX support). It is configurable and extendable through the use of libraries and can even be combined with PIC assembly language.

GitHub description: Automatically exported from code.google.com/p/jallib
janet (pl, appeared 2018)
Creators: Calvin Rose
Origin: https://github.com/janet-lang
Country: Czech Republic and New Zealand and United States
Website: https://janet-lang.org



GitHub description: A dynamic language and bytecode vm

import joy)

(defn home [request]
  (joy/render :text "You found joy!"))

(def routes [[:get "/" home]])

(def app (joy/handler routes))

(joy/server app 8000)
Janus (pl, appeared 1982)
Creators: Christopher Lutz
Howard Derby
Tetsuo Yokoyama
and Robert Glück
Origin: California Institute of Technology
Country: United States


Janus is a time-reversible programming language written at Caltech in 1982. The operational semantics of the language were formally specified, together with a program inverter and an invertible self-interpreter, in 2007 by Tetsuo Yokoyama and Robert Glück. A Janus inverter and interpreter is made freely available by the TOPPS research group at DIKU. Another Janus interpreter was implemented in Prolog in 2009. The below summarises the language presented in the 2007 paper. Janus is an imperative programming language with a global store (there is no stack or heap allocation). Janus is a reversible programming language, i.e. it supports deterministic forward and backward computation by local inversion.
Jargon (pl, appeared 1987)


Jargon is a type of language that is used in a particular context and may not be well understood outside that context. The context is usually a particular occupation (that is, a certain trade, profession, or academic field), but any in group can have jargon. The main trait that distinguishes jargon from the rest of a language is special vocabulary—including some words specific to it, and often different senses or meanings of words, that out groups would tend to take in another sense—therefore misunderstanding that communication attempt. Jargon is thus "the technical terminology or characteristic idiom of a special activity or group". Most jargon is technical terminology, involving terms of art or industry terms, with particular meaning within a specific industry. A main driving force in the creation of technical jargon is precision and efficiency of communication when a discussion must easily range from general themes to specific, finely differentiated details without circumlocution. A side-effect of this is a higher threshold for comprehensibility, which is usually accepted as a trade-off but is sometimes even used as a means of social exclusion (reinforcing ingroup-outgroup barriers) or social aspiration (when intended as a way of showing off). The philosopher Étienne Bonnot de Condillac observed in 1782 that "every science requires a special language because every science has its own ideas". As a rationalist member of the Enlightenment, he continued: "It seems that one ought to begin by composing this language, but people begin by speaking and writing, and the language remains to be composed."Various kinds of language peculiar to ingroups can be named across a semantic field. Slang can be either culture-wide or known only within a certain group or subculture. Argot is slang or jargon purposely used to obscure meaning to outsiders. Conversely, a lingua franca is used for the opposite effect, helping communicators to overcome unintelligibility, as are pidgins and creole languages. For example, the Chinook Jargon was a pidgin. Although technical jargon's primary purpose is to aid technical communication, not to exclude outsiders by serving as an argot, it can have both effects at once and can provide a technical ingroup with shibboleths. For example, medieval guilds could use this as one means of informal protectionism. On the other hand, jargon that once was obscure outside a small ingroup can become generally known over time. For example, the terms bit, byte, and hexadecimal (which are terms from computing jargon) are now recognized by many people outside computer science.
jasper (pl, appeared 2014)
Creators: Emanuel Rylke
Origin: https://github.com/ema-fox/jasper/issues
Country: Germany



GitHub description: compile to js lisp inspired by arc

(+ 2 3)
(map [+ 1 _] '(1 2 3))
(let a 4 (map [+ 3 a _] '(1 2 3)))
(alert "Hello world!")
(map str '(1 2 3) '(foo bar baz))
Just Another Scripting Syntax (pl, appeared 2009)
Stands for: Just Another Scripting Syntax
Origin: Blizzard Entertainment, Inc
Country: United States


JASS and JASS2 (sometimes said to stand for Just Another Scripting Syntax) is a scripting language provided with an event-driven API created by Blizzard Entertainment. It is used extensively by their games Warcraft III (JASS2) and StarCraft (JASS) for scripting events in the game world. Map creators can use it in the Warcraft III World Editor and the Starcraft Editor to create scripts for triggers and AI (artificial intelligence) in custom maps and campaigns. Blizzard Entertainment has replaced JASS with Galaxy in Starcraft II.
Java EE version history (pl, appeared 1998)
Origin: Oracle Corporation
Country: United States


Java Platform, Enterprise Edition (Java EE), formerly Java 2 Platform, Enterprise Edition (J2EE), currently Jakarta EE, is a set of specifications, extending Java SE 8 (i.e. not based on latest Java 11; while can also work with later it or later than Java 8) with specifications for enterprise features such as distributed computing and web services. Java EE applications are run on reference runtimes, that can be microservices or application servers, which handle transactions, security, scalability, concurrency and management of the components it is deploying. Java EE is defined by its specification. The specification defines APIs and their interactions. As with other Java Community Process specifications, providers must meet certain conformance requirements in order to declare their products as Java EE compliant. Examples of contexts in which Java EE referencing runtimes are used are: e-commerce, accounting, banking information systems.
Java Properties (dataNotation, appeared 1995)
Also known as: .properties
dot properties
Origin: Oracle Corporation
Country: United States
File extensions: properties


.properties is a file extension for files mainly used in Java related technologies to store the configurable parameters of an application. They can also be used for storing strings for Internationalization and localization; these are known as Property Resource Bundles. Each parameter is stored as a pair of strings, one storing the name of the parameter (called the key), and the other storing the value.
JSP (template, appeared 1999)
Origin: Oracle Corporation
Country: United States


JavaServer Pages (JSP) is a technology that helps software developers create dynamically generated web pages based on HTML, XML, or other document types. Released in 1999 by Sun Microsystems, JSP is similar to PHP and ASP, but it uses the Java programming language. To deploy and run JavaServer Pages, a compatible web server with a servlet container, such as Apache Tomcat or Jetty, is required.
Java (pl, appeared 1995)
Also known as: OpenJDK
Creators: James Gosling
Origin: Sun Microsystems
Country: United States
Website: https://openjdk.org/
Keywords: abstract
continue
for
new
switch
assert
default
goto
package
synchronized
boolean
do
if
private
this
break
double
implements
protected
throw
byte
else
import
public
throws
case
enum
instanceof
return
transient
catch
extends
int
short
try
char
final
interface
static
void
class
finally
long
strictfp
volatile
const
float
native
super
while
_


Java is a general-purpose computer programming language that is concurrent, class-based, object-oriented, and specifically designed to have as few implementation dependencies as possible. It is intended to let application developers "write once, run anywhere" (WORA), meaning that compiled Java code can run on all platforms that support Java without the need for recompilation. Java applications are typically compiled to bytecode that can run on any Java virtual machine (JVM) regardless of computer architecture. As of 2016, Java is one of the most popular programming languages in use, particularly for client-server web applications, with a reported 9 million developers. Java was originally developed by James Gosling at Sun Microsystems (which has since been acquired by Oracle Corporation) and released in 1995 as a core component of Sun Microsystems' Java platform. The language derives much of its syntax from C and C++, but it has fewer low-level facilities than either of them. The original and reference implementation Java compilers, virtual machines, and class libraries were originally released by Sun under proprietary licenses. As of May 2007, in compliance with the specifications of the Java Community Process, Sun relicensed most of its Java technologies under the GNU General Public License. Others have also developed alternative implementations of these Sun technologies, such as the GNU Compiler for Java (bytecode compiler), GNU Classpath (standard libraries), and IcedTea-Web (browser plugin for applets). The latest version is Java 9, released on September 21, 2017, and is one of the two versions currently supported for free by Oracle. Versions earlier than Java 8 are supported by companies on a commercial basis; e.g. by Oracle back to Java 6 as of October 2017 (while they still "highly recommend that you uninstall" pre-Java 8 from at least Windows computers).

GitHub description: JDK main-line development https://openjdk.org/projects/jdk