Formal_System

ACL2

Place

software system consisting of a programming language, an extensible theory in a first-order logic, a

CycL

Place

ontology language used by Doug Lenat's Cyc artificial intelligence project

Flapjax

Place

programming language built atop JavaScript

ล็อกทอล์ก

Place

object-oriented logic programming language that extends and leverages the Prolog language

Chinese BASIC

Place

several Chinese-localized versions of the BASIC programming language

NATURAL

Place

programming language

RPython

Place

programming language based on Python

Analitik

Place

programming language

Dafny

Place

programming language

Casio BASIC

Place

programming language

Pico

Place

programming language to introduce the essentials of programming to non-computer science students

Project Builder

Place

integrated development environment (IDE) originally for the NeXTSTEP operating system

Gforth

Place

Free implementation of the Forth programming language

Cool

Place

object-oriented programming language

Iota and Jot

Place

minimalistic Turing-complete programming languages based on combinatory logic

Gleam

Place

functional, concurrent programming language

Advice taker

Place

hypothetical computer program

URBI

Product

open-source cross-platform software platform in C++ used to develop applications for robotics and co

SASL

Place

purely functional programming language

Jasmin

Place

Assembler for the Java Virtual Machine that generates Java bytecode from assembly language-like inst

Go!

Place

multi-paradigm programming language

LSE

Place

educational programming language developed in France

Hop

Place

Lisp-like programming language

adenine

Place

programming language

Basic For Qt

CreativeWork

object-oriented version of the BASIC programming language, as well as an integrated development envi

Thue

Place

esoteric programming language

xHarbour

Place

free multi-platform extended Clipper compiler

JASS

Place

scripting language provided with an event-driven API

Embedded Visual Basic

CreativeWork

Integrated Development Environment and programming language based on Visual Basic (Classic)

Gambit

CreativeWork

software which interprets and compiles Scheme code into C code

Scriptlet

Place

Java-code embedded in the HTML-like JSP code

Franz Lisp

SoftwareApplication

dialect of the Lisp programming language

Pastel

Place

programming language

ARITH-MATIC

Place

extension of Grace Hopper's A-2 programming language

Axum

Place

domain-specific concurrent programming language

DOPE

Place

programming language

PONIE

Place

discontinued Perl project

OBJ

Place

programming language family

A Manufacturing Language

Place

general-purpose programming language

Dialect

Place

programming language created by George Harth

Charm

Place

programming language

SATySFi

CreativeWork

Programming language for typesetting

Parser

Place

scripting language targeting server-side web development

WATFIV

Place

implementation of the Fortran computer programming language

Forte 4GL

Place

proprietary application server

MLAB

Place

multi-paradigm numerical computing environment

COWSEL

Place

programming language

Odin

Place

programming language

RUR-PLE

Place

educational tool to help students learn the Python programming language

Concurrent Haskell

Place

extension of Haskell 98 with explicit concurrency

Kawa

Place

Java framework and implementation of Scheme, Elisp, and more

1C:Enterprise programming language

Place

programming language

SYCL

Place

higher-level programming model for OpenCL

Global Arrays

Place

library developed by scientists at Pacific Northwest National Laboratory for parallel computing

PIC

Place

Typesetting language and program for drawing

Whiley

Place

programming language

Zeno

Place

programming language

Variable Assembly Language

Place

programming language

Modula-2+

Place

programming language descended from the Modula-2 language

Rocky Mountain BASIC

Place

dialect of the BASIC programming language