Home › Browse › Formal System

Formal System

Ranked by notability · Page 13

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)
XBLite
Place
free Open Source BASIC programming language compiler and development system
Silq
Place
quantum programming language
Oak
Place
programming language
Sing#
Place
programming language
3APL
Place
experimental tool and programming language
AmbientTalk
Place
programming language
PWCT
Place
Programming Without Coding Technology
Phrogram
Place
computer programming language
Odin
Place
programming language
Caché ObjectScript
Place
programming language
MiniZinc
Place
constraint modeling language
BitC
Place
programming language
THINK C
Place
extension of ANSI C for the classic Mac OS
Rpal
Place
programming language
LFE
Place
Lisp Flavored Erlang
Hopscotch
MobileApplication
app for teaching programming
Impulse C
Place
subset of the C programming language combined with a C-compatible function library supporting parallel programming
MUSIC-N
Place
audio programming language
Janus
Place
time-reversible computing programming language
JAWS Scripting Language
Place
proprietary programming language
Snap4Arduino
CreativeWork
Snap4Arduino is a modification of the Snap! visual programming language that lets you interact with Arduino boards
OpenROAD
Place
fourth-generation programming language
SpiderBasic
Place
programming language
colorForth
Place
programming language
2APL
Place
modular BDI-based programming language
PROSE
Place
modeling language
OBJ3
Place
programming language family
CORC
Place
programming language
EasyLanguage
Place
proprietary programming language
XLNT
Place
Scripting language
NetRexx
Place
open source, originally IBM's, variant of the REXX programming language to run on the Java virtual machine
GolfScript
Place
SARL
Place
modular agent-oriented programming language
SAKO
Place
programming language
Nice
Place
object-oriented programming language
Liquidsoap
CreativeWork
language for describing audio and video streams
Niki – der Roboter
CreativeWork
computer program
Design By Numbers
Place
programming language
Unified Expression Language
Place
domain-specific scripting language used in Java EE web applications
Little b
Place
domain-specific programming language
Elliott ALGOL
Place
ALGOL 60 compiler for the Elliott 803 computer
Apple Dylan
Place
programming language
Halide
Place
programming language
Flowcode
Place
Microsoft Windows-based development environment
Mondrian
CreativeWork
statistical data-visualization software
ISETLW
Place
very high-level programming language based on the mathematical theory of sets
Obix
Place
programming language
FARGO
Place
programming language
Hume
Place
functionally based programming language
Pixilang
Place
programming language designed for cross-platform graphics and sound applications
BPEL script
Place
Pic Micro Pascal
Place
free Pascal cross compiler for PIC microcontrollers
TREE-META
Place
compiler-compiler system for context-free languages
Citrine
Place
programming language
EXAPT
Place
production oriented programming language to generate NC programs with control information for machining tools
EarSketch
WebSite
free educational programming environment
OMeta
Place
object-oriented programming language
XCore XS1
Place
32-bit RISC microprocessor architecture designed by XMOS
Atari LOGO
Place
cartridge-based version of the Logo programming language for the Atari 8-bit family
GOAL
Place
agent programming language for programming cognitive agents