Formal_System
Ranked by notability · Page 10
1,768
Articles
11
Images
1,311
Keywords Tracked
750
Websites Tracked
132,605,900
Monthly Searches
30
Pages
Browse by Type
Programming Language (489)
Scripting Language (27)
Esoteric Programming Language (12)
Object-Based Language (8)
Visual Programming Language (7)
Page Description Language (7)
Shading Language (6)
Software (6)
Audio Programming Language (6)
4th-Generation Programming Language (6)
Educational Programming Language (5)
Functional Programming Language (5)
Free Software (5)
Technical Standard (4)
Simulation Language (4)
Scripting Language (27)
Esoteric Programming Language (12)
Object-Based Language (8)
Visual Programming Language (7)
Page Description Language (7)
Shading Language (6)
Software (6)
Audio Programming Language (6)
4th-Generation Programming Language (6)
Educational Programming Language (5)
Functional Programming Language (5)
Free Software (5)
Technical Standard (4)
Simulation Language (4)
Flapjax
Place
programming language built atop JavaScript
URBI
Product
open-source cross-platform software platform in C++ used to develop applications for robotics and co
Chinese BASIC
Place
several Chinese-localized versions of the BASIC programming language
GeneXus
Place
Cross-Platform, knowledge representation-based development tool
NATURAL
Place
programming language
SMIL Timesheets
Place
style sheet language which is intended for use as an external timing stylesheet for SMIL
MIVA Script
Place
scripting language
CycL
Place
ontology language used by Doug Lenat's Cyc artificial intelligence project
DIBOL
Place
general-purpose, procedural, imperative programming language
Gforth
Place
Free implementation of the Forth programming language
Standard ML of New Jersey
Place
free software implementation of the ML language
Tea
Place
programming language
Project Builder
Place
integrated development environment (IDE) originally for the NeXTSTEP operating system
Robik
Place
ZX Spectrum clone
Draco
Place
programming language
Averest
Place
synchronous programming language and set of tools to specify, verify, and implement reactive systems
PL360
Place
programming language
Gofer
Place
programming language
MATH-MATIC
Place
marketing name for the AT-3 (Algebraic Translator 3) compiler, an early programming language for the
LiveScript
Place
Functional programming language that compiles to JavaScript (founded in 2011)
Thue
Place
esoteric programming language
Basic For Qt
CreativeWork
object-oriented version of the BASIC programming language, as well as an integrated development envi
XSB
Place
dialect of the Prolog programming language and its implementation
wxBasic
Place
a free software based on syntax for novice programmers
ABC ALGOL
Place
programming language
Maya Embedded Language
Place
scripting language used to simplify tasks in Autodesk's 3D Graphics Software Maya
Aldor
Place
programming language
SISAL
Place
programming language
Lexico
Place
programming language in Spanish for learning and teaching object-oriented programming
Open Roberta
Place
project within the German education initiative "Roberta—Learning with robots"
Gosu
Place
programming language
BSASPEC
Place
Nikhil Nandhi/ Pavan Tickson
MC#
Place
concurrent programming language based on C#
Color BASIC
Place
implementation of Microsoft BASIC that is included in the ROM of the Tandy/Radio Shack TRS-80 Color
Optimization Programming Language
Place
algebraic modeling language
Accent
Place
programming language
JASS
Place
scripting language provided with an event-driven API
Lynx
Place
programming language
CWEB
Place
programming language
Le Lisp
Place
implementation of Lisp developed in France
Constraint Handling Rules
Place
declarative, rule-based language
Dolittle
Place
programming language
Pastel
Place
programming language
DOPE
Place
programming language
Forte 4GL
Place
proprietary application server
Microsoft C
Place
Microsoft’s programming language and compiler for C and C++
EXEC 2
Place
interpreted, command procedure control, computer scripting language
Orc
Place
programming language
Blue
Place
programming language
Opal
Place
programming language
Babbage
Place
high level assembly programming language for the GEC 4000 series minicomputers
Programming Language for Business
Place
business-oriented programming language originally called DATABUS
RUR-PLE
Place
educational tool to help students learn the Python programming language
Agora
Place
reflective, prototype-based, object-oriented programming language
ATOLL
Place
programming language
KL1
Place
experimental AND-parallel version of KL0
WATFIV
Place
implementation of the Fortran computer programming language
PONIE
Place
discontinued Perl project
BBN LISP
Place
dialect of the Lisp programming language
AgentSheets
Place
cyber gaming-learning tool for programming and related information technology skills