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
GENERIC
Place
Language used to define the intermediate representation of code used by all GCC facades
Checked C
Event
extension of C programming language
Edison
Place
ACUCOBOL
Place
dialect of the programming language COBOL
EventScripts
Place
plugin that provides several scripting languages to the source game engine
Lithe
Place
experimental programming language
LEAP
Place
extension to the ALGOL 60 programming language
GScript
Place
proprietary programming language
ECL
Place
declarative, data centric programming language
COFFEE
Place
computer scripting language
BASIC 8
Place
extension of Commodore's BASIC 7.0 for the C128 home/personal computer
FpgaC
CreativeWork
compiler for a subset of the C programming language
Cluster
Place
programming language
Zenith Parsing Engine
Place
scripting language
MUDDL
Place
domain-specific language for creation of text-based virtual worlds
Z++
Place
object-oriented extension to the Z specification language
TJS2
Place
programming language
BAL
Place
low-level programming language designed by Olivetti in the mid-1970s
Arduino
Place
programming language
CEMMA
Place
Programming language for modeling processes
AMBIT
Place
historical programming language for symbolic computation
Jesta
Place
programming language
Lite-C
Place
programming language for multimedia applications and personal computer games
Common Lisp Music
Place
Audio programming language
Behavioral Description Language
Place
programming language based on ANSI C with extensions for hardware description
GSQL
CreativeWork
free software
Intel Concurrent Collections
Place
software frameworks to expose parallelism in applications
CQP-kod
Place
Joe-E
Place
subset of Java to support programming according to object-capability discipline
Astek
Place
programming language
Mirah
Place
programming language based on Ruby language
Script-Fu
Place
GIMP scripting language
Little Smalltalk
Place
non-standard dialect of the Smalltalk programming language
TXL
Place
programming language
RPG Code
Place
programming language
Wren
Place
programming language
ICon-L
CreativeWork
programming language
Pan
Place
programming language
ArrowFuck
Place
Variant of the Brainfuck programming language
Bla
Place
programming language
Arendelle
Place
programming language
CorVision
Place
fourth generation programming tool (4GL)
Loglan 82
Place
object-oriented programming language developed at University of Warsaw
Illumination Software Creator
Place
visual programming language
ANSYS Parametric Design Language
Place
scripting language of ANSYS
Snowball
Place
programming language
RBASIC
Place
programming language
TTSneo
Place
programming language
ICI
Place
programming language
IBM System/36 BASIC
CreativeWork
interpreter for the IBM System/36 midrange computer.
AgentSpeak
Place
agent-oriented programming language