Home › Browse › Formal System

Formal System

Ranked by notability · Page 24

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)
EFL
Place
programming language
Mana
Place
programming language
PottersWheel
Place
MATLAB toolbox for mathematical modeling of time-dependent dynamical systems
XML Sapiens
Place
Accent R
Place
fourth-generation programming language
Ada 80
Place
preliminary non-standard version of the Ada programming language
MCPL
Place
programming language
wollok
Thing
Educative programming language
Scalable Application Language
Place
Programming language
FX-87
Place
polymorphic typed functional language
fasm
Place
Polymorphic recursion
Place
recursive parametrically polymorphic function
Bon
Place
programming language
Vintage BASIC
Place
BASIC programming language
Ada 95
Place
programming language version
WLanguage
Place
fourth generation programming language
M language
Place
Programming language used by the DGFiP to calculate income tax
Latino
Place
Programming Language
SequenceL
Place
general purpose functional programming language and auto-parallelizing compiler and tool set
MIXAL
Place
assembly language
Oriel
Place
programming language
Php4delphi
Place
Visual Development Framework for creating custom PHP Extensions using Delphi
Dataparallel C
Place
programming language based on C with parallel extensions
Guarded Horn Clauses
Place
programming language
PS 440
Place
Feckfeck
Place
esoteric programming language
RiscLua
Place
implementation of Lua to RISC OS
PTQL
Place
language based on relational queries over program traces
Deterministic Parallel Java
Place
extension of the Java programming language
Procyon
Place
programming language
Relevance Language
Place
SubL
Place
programming language
Realtime Programming Language
Place
compiled database programming language
Logel
Place
programming language
FP84
Place
programming language to support the function-level paradigm
Jeem
Place
programming language
ELI
Place
programming language
OpenGL ES Shading Language
Place
shading language
Simple Yet Powerful Scripting Language
Place
programming language
Gibiane
Place
programming language based on Fortran 77
Extended Syntax of Sinclair BASIC
Place
programming language
Simul
Place
econometric tool for the multidimensional (multi-sectoral and multi-regional) modelling
Kaleidoscope
Place
constraint programming language embedding constraints into an imperative object-oriented language
BASIC09
Place
structured BASIC programming language dialect
Logic Basic
Place
programming language
Algek
Place
programming language
LIPS
Place
Scheme implementation in JavaScript
Dependency Constraint Language
Place
Language that makes it possible to locate implementation decisions in the source code of a software
COMPACT II
Place
URQ
Place
programming language
Flow Java
Place
extension of Java to add declarative concurrency
SQLPL
Place
SQL language structure
Hermes
Place
programming language
PyLinda
Place
Python implementation of Linda
Atom
Place
Programming language
Zope Page Templates
Place
template system for web pages
IITRAN
Place
discontinued programming language
CLP(R)
Place
declarative programming language
Ateji PX
Place
object-oriented programming language extension for Java
DAP FORTRAN
Place
extension of the non IO parts of FORTRAN