Formal_System

Ranked by notability · Page 5

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

Programming Language (469)
Scripting Language (25)
Esoteric Programming Language (12)
Visual Programming Language (7)
Object-Based Language (7)
Software (6)
Audio Programming Language (6)
Shading Language (6)
Page Description Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Procedural Programming Language (4)

Pharo
Place
open-source Smalltalk environment
Idris
Thing
purely functional programming language
IBM BASIC
Place
programming language
Mizar
Place
proof assistant
Atari BASIC
CreativeWork
BASIC interpreter
CHILL
Place
programming language
Unified Parallel C
Place
extension of the C programming language designed for high-performance computing on large-scale paral
Xojo
CreativeWork
programming environment and programming language
Amiga E
Place
programming language
Charm++
Place
parallel object-oriented programming language based on C++
Alice
SoftwareApplication
programming language and software
Expect
CreativeWork
extension to the Tcl scripting language
Cyclone
Place
Programming language
LPC
Place
programming language
LiveCode
Place
cross-platform rapid application development runtime environment inspired by HyperCard
MSX BASIC
Place
programming language
Nyquist
Place
programming language for sound synthesis and analysis based on the Lisp programming language
Visual Prolog
Place
programming language
JSX
Place
extension to the JavaScript syntax used by React
Squirrel
Place
programming language
Alice
Place
programming language
BeanShell
Place
Java-like scripting language
Alef
Place
discontinued concurrent programming language, designed as part of the Plan 9 operating system
asm.js
CreativeWork
intermediate programming language
ColdFusion Markup Language
Place
scripting language for web development
SETL
Place
programming language
Opa
Place
programming language
Address programming language
Place
high-level programming language
ARexx
SoftwareApplication
implementation of the REXX language for Commodore Amiga computers
InterSystems Caché
CreativeWork
commercial operational database management system from InterSystems
A++
Place
minimalistic programming language that is built on ARS (abstraction from the Lambda Calculus)
autocode
Place
early programming languages
GNU Common Lisp
Place
implementation of Common Lisp
Close to Metal
CreativeWork
low level GPGPU programming interface
Haml
Place
templating system that is designed to avoid writing inline code in a web document and make the HTML
SolidThinking Embed
Place
VisSim is a visual language for modeling and simulating nonlinear dynamic systems. With 9 integratio
Uniface
Place
low-code development platform
Arc
Place
dialect of the Lisp programming language.
Dartmouth BASIC
Place
programming language
Jakarta Expression Language
Place
domain-specific language used in Jakarta EE web applications
Instruction list
Place
Wikimedia list article
GFA BASIC
Place
dialect of the BASIC programming language
Altera Hardware Description Language
Place
proprietary hardware description language (HDL)
Etoys
Place
programming language
4DOS
CreativeWork
command line interpreter
Linden Scripting Language
Place
script language used within Second Life
Oxygene
Place
Object Pascal-based programming language
Zebra
Place
programming language
JavaFX Script
Place
programming language
COMIT
Place
programming language
ISWIM
Place
programming language
Information Processing Language
Place
programming language
DataFlex
SoftwareApplication
software
Fantom
Place
general purpose object-oriented programming language
JScript .NET
Place
programming language developed by Microsoft
OpenQASM
Place
intermediate representation for quantum instructions
Planner
Place
programming language
GPSS
Place
general-purpose programming language
Liberty BASIC
Place
commercial computer programming language and integrated development environment (IDE)
Cilk
Place
Parallel programming language