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 (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)
Next Byte Codes
Place
programming language to program Lego Mindstorms NXT programmable bricks
PLEXIL
Place
open source technology for automation
Janus
Place
time-reversible computing programming language
Swift
Place
parallel scripting language
PL-11
Place
high-level machine-oriented programming language
EarSketch
WebSite
free educational programming environment
Data Access Language
Place
SQL-like language and application programming interface
BlooP and FlooP
Place
simple programming languages
PCASTL
Place
interpreted high-level programming language
SUBLEQ
CreativeWork
OISC where the one instruction is to subtract and branch if less than or equal to zero
MCPL
Place
programming language
EPSILON
Place
macro language developed by A.P. Ershov at Novosibirsk in 1967
Ada 80
Place
preliminary non-standard version of the Ada programming language
fasm
Place
XML Sapiens
Place
TACPOL
Place
block structured programming language
RPG Code
Place
programming language
LOOPS
Place
programming language
Izibasic
Place
programming language
ARLA
Place
programming language
Structured Audio Orchestra Language
Place
programming language designed for describing virtual instruments
TXL
Place
programming language
Illumination Software Creator
Place
visual programming language
ECL
Place
declarative, data centric programming language
Kalimat
Place
programming language
Mulan
Place
programming language
NEWP
Place
high-level programming language
AgentSpeak
Place
agent-oriented programming language
Colony Framework
Place
open source plugin framework specification
Filetab
Place
decision table-based computer programming language
Flow Java
Place
extension of Java to add declarative concurrency
Ferite
Place
programming language
HP BASIC for OpenVMS
Place
BASIC dialect
DARSIMCO
Place
1950s programming language for mathematical operations
TI-BASIC 83
Place
calculator programming language
LinkML
Place
flexible modeling framework that allow for working with semantic web standards alongside a modern da
SubL
Place
programming language
Deesel
Place
metalanguage based on Java
EX-BASIC
Place
Sinclair BASIC extension for the Sinclair ZX Spectrum Computer
HP-GL
Place
printer control language created by Hewlett-Packard (HP)
wollok
Thing
Educative programming language
CaPSL
Place
Programming language
Storyboard
Place
Apple programming
RCX code programming language
Place
programming language
RiscLua
Place
implementation of Lua to RISC OS
GNU MathProg
Place
algebraic modeling language
Sort Merge Generator
Place
programming language
Object Lisp
Place
LINC 4GL
Place
programming language
Astek
Place
programming language
SNAP
Place
education programming language from 1960s
COMPACT II
Place
FpgaC
CreativeWork
compiler for a subset of the C programming language
Deterministic Parallel Java
Place
extension of the Java programming language
SAM76
Place
macro programming language
Intel Concurrent Collections
Place
software frameworks to expose parallelism in applications
COFFEE
Place
computer scripting language
ReScript
Place
Programming language that compiles to JavaScript
FP84
Place
programming language to support the function-level paradigm
SAM BASIC
SoftwareApplication