Home › Browse › Formal_System

Formal_System

Ranked by notability · Page 19

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

Programming Language (469)
Scripting Language (25)
Esoteric Programming Language (12)
Visual Programming Language (7)
Object-Based Language (7)
Software (6)
Audio Programming Language (6)
Shading Language (6)
Page Description Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Procedural Programming Language (4)
POP-11
Place
reflective, incrementally compiled programming language
ChatScript
Place
SUBLEQ
CreativeWork
OISC where the one instruction is to subtract and branch if less than or equal to zero
ActiveBasic
Place
programming language
Izibasic
Place
programming language
Emerald
Place
programming language
WebGPU Shading Language
Place
shading language
Dataparallel C
Place
programming language based on C with parallel extensions
SassScript
Place
scripting language for Sass
Egison
Place
GEORGE
Place
programming language
JoCaml
Place
experimental functional programming language derived from OCaml
IITRAN
Place
discontinued programming language
Darwin
Place
programming language
LOOPS
Place
programming language
FOCAL-69
Place
landmark version of the FOCAL programming language
Extended Syntax of Sinclair BASIC
Place
programming language
Comet
Place
programming language
Algek
Place
programming language
Beatnik
Place
esoteric programming language designed by Cliff L. Biffle
Kyma
Place
visual programming language for sound design
RPG Code
Place
programming language
Portal
Place
programming language
Little Smalltalk
Place
non-standard dialect of the Smalltalk programming language
The join calculus language
Place
obsolete language based on the join-calculus process calculus
Honeywell ARGUS
Place
low-level computer programming language
AIMACO
Place
JavaScript for Automation
Place
FO(.)
Place
knowledge representation computer programming language
SAM BASIC
SoftwareApplication
TACPOL
Place
block structured programming language
Php4delphi
Place
Visual Development Framework for creating custom PHP Extensions using Delphi
FP84
Place
programming language to support the function-level paradigm
Basic4GL
Place
interpreted, open source version of the BASIC programming language
ReScript
Place
Programming language that compiles to JavaScript
COFFEE
Place
computer scripting language
Intel Concurrent Collections
Place
software frameworks to expose parallelism in applications
SAM76
Place
macro programming language
Deterministic Parallel Java
Place
extension of the Java programming language
JR-BASIC
Place
dialect of the BASIC programming language
Behavioral Description Language
Place
programming language based on ANSI C with extensions for hardware description
Frame-based editor
Place
Guarded Horn Clauses
Place
programming language
Jeem
Place
programming language
MacroML
Place
experimental programming language based on the ML programming language family
FpgaC
CreativeWork
compiler for a subset of the C programming language
URQ
Place
programming language
ArkTS
Place
general-purpose compiled programming language
Object-Oriented Turing
Place
ECL
Place
extensible high-level programming language and development environment
AgentCubes
Place
educational programming language
HyperFun
Place
simple modelling language intended for describing geometric objects
MINC
Place
Scripting language
Micro Lua DS
Place
programming language
DADiSP
Place
numerical computing environment
AQASM
Place
webMethods Flow
Place
graphical programming language
Pict
Place
statically typed programming language, one of the very few based on the Pi-calculus
Interactive C
Place
modified version of ANSI C to program small robotics platforms
Robotc
Place
programming language based on C