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)
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)
Refal
Place
functional programming language oriented toward symbolic computations
Keysight VEE
Place
programming language
CMU Common Lisp
CreativeWork
free Common Lisp implementation
Open Programming Language
Place
programming language
Kojo
Place
programming language and integrated development environment (IDE) for computer programming and learning
Automatically Programmed Tool
Place
programming language
TTCN-3
Place
testing language for telecommunication systems
JAL
Place
Pascal-like programming language and compiler that generates executable code for PIC microcontrollers
Interlisp
Place
dialect of the Lisp programming language
Amiga Basic
SoftwareApplication
BASIC programming language implementation for Amiga computers
UCBLogo
Place
de facto standard Logo programming language with its facilities for handling lists, files, I/O, and recursion in scripts
Text Processing Utility
Place
programming language
PascalABC.NET
Place
integrated development environment with integrated debugger
FORMAC
Place
computer algebra system based on FORTRAN
Lucid
Place
programming language
Pyrex
Place
programming language to aid in creating Python modules
PicoLisp
Place
programming language, a dialect of the language Lisp
Generative Modelling Language
Place
extension of PostScript used for the concise description of complex 3D shapes
TRAC
Place
programming language
Not Quite C
Place
programming language
Microsoft Pascal
Place
implementation of Pascal programming language
Fenix Project
Place
Managed Extensions for C++
Place
now-deprecated set of language extensions for C++
Gleam
Place
functional, concurrent programming language
XOTcl
Place
object-oriented extension for the Tool Command Language
B4X
SoftwareApplication
programming language and suite of IDEs
Hope
Place
functional programming language
AngelScript
Place
scripting language
X++
Place
high-level proprietary programming language used to develop the Axapta Microsoft ERP system
Reason
Place
syntax extension and toolchain for OCaml
FlagShip
Place
object oriented and procedural programming language, based on the xBase language dialect and conventions
ALTRAN
Place
FORTRAN extension providing rational algebra
Lush
Place
programming language
TMG
Place
compiler-compiler
Ezhil
Place
programming language in Tamil
Chipmunk Basic
Place
freeware Basic interpreter
FutureBASIC
Place
free BASIC compiler for Apple Inc.'s Macintosh
AspectC++
Place
aspect-oriented extension to C and C++
GT.M
CreativeWork
an application suite consisting of a key-value storage subsystem, a language subsystem and an application development platform with utility programs.
TACL
Place
scripting programming language
Boomerang
Place
programming language
ZPL
Place
programming language
PLEX
Place
programming language for Ericsson's AXE telephone exchanges
Kodu Game Lab
Place
educational programming language
Open Shading Language
Place
shading language developed by Sony Pictures Imageworks
Kent Recursive Calculator
Place
programming language
Chapel
Place
programming language
Newsqueak
Place
programming language
Embedded C
Place
C language extensions for embedded systems
vvvv
Place
general purpose toolkit
Gödel
Place
programming language
Pizza
Place
programming language
Coral 66
Place
programming language
FALSE
Place
esoteric programming language
SIMSCRIPT
Place
simulation language
Speedcoding
Place
programming language
TurboWarp
Place
Visual programming language forked from Scratch
ISLISP
Place
programming language in the Lisp family
OpenEdge Advanced Business Language
Place
business application development language
ATS
Place
programming language