Formal_System

Ranked by notability · Page 9

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)

Boomerang
Place
programming language
TACL
Place
scripting programming language
Fenix Project
Place
B4X
SoftwareApplication
programming language and suite of IDEs
PicoLisp
Place
programming language, a dialect of the language Lisp
TMG
Place
compiler-compiler
FALSE
Place
esoteric programming language
Cilk Plus
Place
Parallel programming extension to C and C++
Ur/Web
Place
functional programming language tailored for web development
Ubercode
Place
high-level programming language
ACL2
Place
software system consisting of a programming language, an extensible theory in a first-order logic, a
Pascal Script
Place
scripting language based on Object Pascal
Ballerina
Place
programming language
Gofer
Place
programming language
ล็อกทอล์ก
Place
object-oriented logic programming language that extends and leverages the Prolog language
TinyScheme
CreativeWork
software
LSE
Place
educational programming language developed in France
Hop
Place
Lisp-like programming language
Windows App Studio
Place
discontinued web app provided by Microsoft for Windows app development
SMIL Timesheets
Place
style sheet language which is intended for use as an external timing stylesheet for SMIL
Jasmin
Place
Assembler for the Java Virtual Machine that generates Java bytecode from assembly language-like inst
URBI
Product
open-source cross-platform software platform in C++ used to develop applications for robotics and co
CycL
Place
ontology language used by Doug Lenat's Cyc artificial intelligence project
BASIC A+
SoftwareApplication
implementation of the BASIC programming language
Sawzall
Place
programming language
ASIC
SoftwareApplication
programming language
Flapjax
Place
programming language built atop JavaScript
coarray Fortran
Place
programming extension for parallel processing
RPython
Place
programming language based on Python
Project Builder
Place
integrated development environment (IDE) originally for the NeXTSTEP operating system
DIBOL
Place
general-purpose, procedural, imperative programming language
PL360
Place
programming language
NATURAL
Place
programming language
SQL/PSM
Place
ISO standard mainly defining an extension of SQL with a procedural language for use in stored proced
XSB
Place
dialect of the Prolog programming language and its implementation
ABC ALGOL
Place
programming language
Hot Soup Processor
Place
Japanese programming language
Analitik
Place
programming language
Gforth
Place
Free implementation of the Forth programming language
Thue
Place
esoteric programming language
Basic For Qt
CreativeWork
object-oriented version of the BASIC programming language, as well as an integrated development envi
Pico
Place
programming language to introduce the essentials of programming to non-computer science students
MIVA Script
Place
scripting language
JADE
Place
proprietary object-oriented software development and deployment platform
Averest
Place
synchronous programming language and set of tools to specify, verify, and implement reactive systems
Cangjie
Place
programming language development by Huawei
Gleam
Place
functional, concurrent programming language
wxBasic
Place
a free software based on syntax for novice programmers
TouchDesigner
Place
node based visual programming language for real time interactive multimedia content
Atlas Autocode
Place
variant of the ALGOL programming language
Draco
Place
programming language
Microsoft Visual Programming Language
Place
visual programming language
Concurrent ML
Place
extension of the Standard ML programming language
MAD
Place
programming language and compiler
Python for S60
Place
Nokia’s port of the general Python programming language to its S60 software platform
LiveScript
Place
Functional programming language that compiles to JavaScript (founded in 2011)
Casio BASIC
Place
programming language
Maya Embedded Language
Place
scripting language used to simplify tasks in Autodesk's 3D Graphics Software Maya
Robik
Place
ZX Spectrum clone
Cirq
Place
free software library for editing and simulating quantum circuits