Home › Browse › Formal_System

Formal_System

Ranked by notability · Page 19

1,768
Articles
11
Images
1,311
Keywords Tracked
750
Websites Tracked
132,605,900
Monthly Searches
30
Pages

Browse by Type

Programming Language (484)
Scripting Language (27)
Esoteric Programming Language (12)
Object-Based Language (8)
Page Description Language (7)
Visual Programming Language (7)
Shading Language (6)
Software (6)
Audio Programming Language (6)
4th-Generation Programming Language (6)
Educational Programming Language (5)
Functional Programming Language (5)
Free Software (5)
Technical Standard (4)
Domain-Specific Language (4)
Pencil Code
Place
educational programming language and website
Baby modula-3
Place
programming sublanguage of Modula-3
ActiveBasic
Place
programming language
ZhPy
Place
programming language
COMPACT II
Place
Intermediate Programming Language
Place
programming language
Cerner CCL
Place
Cerner Corporation fourth-generation programming language
ChatScript
Place
ObjVProlog
Place
Eff
Place
functional programming language
PLANC
Place
high level computer programming language
ECL
Place
extensible high-level programming language and development environment
ObjVlisp
Place
object-oriented extension of Vlisp
TigerJython
Place
Object-Oriented Turing
Place
Frame-based editor
Place
EX-BASIC
Place
Sinclair BASIC extension for the Sinclair ZX Spectrum Computer
Scientific Vector Language
Place
programming language
Deesel
Place
metalanguage based on Java
DG/L
Place
programming language for the Nova, Eclipse and Eclipse/MV families of minicomputers
CGOL
Place
programming language
PL-6
Place
programming language
MINC
Place
Scripting language
Ferite
Place
programming language
Colony Framework
Place
open source plugin framework specification
Lithe
Place
experimental programming language
Checked C
Event
extension of C programming language
Extended Syntax of Sinclair BASIC
Place
programming language
CDuce
Place
XML-oriented functional programming language
Portal
Place
programming language
Accent R
Place
fourth-generation programming language
WICS
Place
high-level programming language
KuMir
SoftwareApplication
educational integrated development environment
Izibasic
Place
programming language
PACT
Place
series of compilers
Dexterity
Place
proprietary programming language and technology
FLACC
Place
implementation of the ALGOL 68 programming language
Jeem
Place
programming language
Twelf
Place
implementation of the logical framework LF
Synergy DBL
Place
imperative programming language
Petr
Place
programming language for Windows
MIMIC
Place
former simulation computer language
Relevance Language
Place
AgentCubes
Place
educational programming language
Level I BASIC
Place
programming language
Neo Sign 0f Misery
Place
programming language
Oriel
Place
programming language
RiscLua
Place
implementation of Lua to RISC OS
AIMACO
Place
Klerer-May System
Place
programming language oriented to numerical scientific programming
Abstract State Machine Language
Place
programming language based on the Abstract State Machines formal method
PeopleCode
Place
proprietary object-oriented programming language
Minimal BASIC
Place
programming language
MacroML
Place
experimental programming language based on the ML programming language family
PowerHouse
Place
trademarked name for a byte-compiled fourth-generation programming language
ASCEND
Place
open source, mathematical modelling chemical process modelling system
BAL
Place
low-level programming language designed by Olivetti in the mid-1970s
Micro Lua DS
Place
programming language
*Lisp
Place
programming language
WebGPU Shading Language
Place
shading language