Home › Browse › Formal System

Formal System

Ranked by notability · Page 17

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)
IronScheme
Place
implementation of the Scheme programming language targeting the Microsoft .NET framework
Tink
Place
programming language
Concurrent C
Place
extension of the programming language C
Concurrent Euclid
Place
concurrent descendant of the Euclid programming language
Atari ST BASIC
SoftwareApplication
software
SiMPLE
Place
programming language
IBM PL/S
Place
proprietary IBM systems programming language used for mainframe operating systems development
PL/Tcl
Place
implementation of the Tcl scripting language for PostgreSQL database systems
Fril
Place
programming language
Powerscript
Place
Edison
Place
ACUCOBOL
Place
dialect of the programming language COBOL
Dexterity
Place
proprietary programming language and technology
EventScripts
Place
plugin that provides several scripting languages to the source game engine
Lithe
Place
experimental programming language
GScript
Place
proprietary programming language
ECL
Place
declarative, data centric programming language
COFFEE
Place
computer scripting language
LEAP
Place
extension to the ALGOL 60 programming language
FpgaC
CreativeWork
compiler for a subset of the C programming language
TOMVIEW
Place
platform for solving applied optimization problems in LabVIEW
Bidule
Place
music software
BASIC 8
Place
extension of Commodore's BASIC 7.0 for the C128 home/personal computer
Jmax
CreativeWork
visual programming environment for building interactive real-time music and multimedia applications
AiScript
Place
lightweight scripting language
LOOM
Place
knowledge representation language
PACT
Place
series of compilers
FileMaker Script
Place
programming language
The join calculus language
Place
obsolete language based on the join-calculus process calculus
Gallina
Place
programming language
MicroMondes
Place
programming language
SheerPower4GL
Place
MOLOG
Place
programming language
Cybil
Place
Pascal-like programming language
Bogus
Place
Ruby API library
FLACC
Place
implementation of the ALGOL 68 programming language
POW!
Place
programming language
PANORAMIC
Place
programming language
CEEMAC
Place
programming language for the Apple II family of computers
Portal
Place
programming language
Toi
Place
imperative programming language
MINC
Place
Scripting language
Zenith Parsing Engine
Place
scripting language
FOIL
Place
programming language
Arduino
Place
programming language
MUDDL
Place
domain-specific language for creation of text-based virtual worlds
Z++
Place
object-oriented extension to the Z specification language
PL-6
Place
programming language
BAL
Place
low-level programming language designed by Olivetti in the mid-1970s
TJS2
Place
programming language
CEMMA
Place
Programming language for modeling processes
Lite-C
Place
programming language for multimedia applications and personal computer games
GSQL
CreativeWork
free software
CQP-kod
Place
Common Lisp Music
Place
Audio programming language
Behavioral Description Language
Place
programming language based on ANSI C with extensions for hardware description
Jesta
Place
programming language
Intel Concurrent Collections
Place
software frameworks to expose parallelism in applications
Joe-E
Place
subset of Java to support programming according to object-capability discipline
AMBIT
Place
historical programming language for symbolic computation