Formal System

Ranked by notability · Page 8

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

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

3DMLW
Place
discontinued, open-source, XML-based markup language
Cypher Query Language
Place
declarative graph query language for the Neo4j graph database
FOCAL
Place
level programming language for the Lego Mindstorms NXT
Just BASIC
Place
version of Liberty BASIC
Interpress
Place
programming language
Not eXactly C
Place
high-level programming language for the Lego Mindstorms NXT
Music Macro Language
Place
programming language for generating computerized music
XBase++
Place
object oriented programming language which has multiple inheritance and polymorphism
FreeFem++
Place
Programming and software language
Automatically Programmed Tool
Place
programming language
Tom
Place
pattern matching language
ALTRAN
Place
FORTRAN extension providing rational algebra
Lush
Place
programming language
Gleam
Place
functional, concurrent programming language
Chipmunk Basic
Place
freeware Basic interpreter
Fenix Project
Place
Coral 66
Place
programming language
Microsoft Pascal
Place
implementation of Pascal programming language
Embedded C
Place
C language extensions for embedded systems
AspectC++
Place
aspect-oriented extension to C and C++
Chapel
Place
programming language
FlagShip
Place
object oriented and procedural programming language, based on the xBase language dialect and conventions
Pizza
Place
programming language
Kodu Game Lab
Place
educational programming language
TACL
Place
scripting programming language
ZPL
Place
programming language
Open Shading Language
Place
shading language developed by Sony Pictures Imageworks
Kent Recursive Calculator
Place
programming language
SuperBASIC
Place
advanced variant of the BASIC programming language with many structured programming additions
Newsqueak
Place
programming language
vvvv
Place
general purpose toolkit
Gödel
Place
programming language
XOTcl
Place
object-oriented extension for the Tool Command Language
Speedcoding
Place
programming language
ATS
Place
programming language
OpenEdge Advanced Business Language
Place
business application development language
FALSE
Place
esoteric programming language
TurboWarp
Place
Visual programming language forked from Scratch
Esterel
Place
synchronous programming language for the development of complex reactive systems
SIMSCRIPT
Place
simulation language
Linotte
Place
4th generation programming language with french syntax
Text Processing Utility
Place
programming language
Maxscript
Place
scripting language for Autodesk 3ds Max's three-dimensional modeling package
PicoLisp
Place
programming language, a dialect of the language Lisp
Fjölnir
Place
programming language
GT.M
CreativeWork
an application suite consisting of a key-value storage subsystem, a language subsystem and an application development platform with utility programs.
FORMAC
Place
computer algebra system based on FORTRAN
Pyrex
Place
programming language to aid in creating Python modules
STOS BASIC
Place
dialect of the BASIC programming language
Managed Extensions for C++
Place
now-deprecated set of language extensions for C++
Reason
Place
syntax extension and toolchain for OCaml
ISLISP
Place
programming language in the Lisp family
Generative Modelling Language
Place
extension of PostScript used for the concise description of complex 3D shapes
Vimscript
Place
programming language
UCBLogo
Place
de facto standard Logo programming language with its facilities for handling lists, files, I/O, and recursion in scripts
Not Quite C
Place
programming language
PascalABC.NET
Place
integrated development environment with integrated debugger
X++
Place
high-level proprietary programming language used to develop the Axapta Microsoft ERP system
B4X
SoftwareApplication
programming language and suite of IDEs
FutureBASIC
Place
free BASIC compiler for Apple Inc.'s Macintosh