Home › Browse › Formal System

Formal System

Ranked by notability · Page 22

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

Programming Language (459)
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)
Educational Programming Language (5)
Shading Language (5)
Free Software (5)
Technical Standard (4)
High-Level Programming Language (4)
X-BASIC
Place
ESRI-Avenue
Place
programming language
The join calculus language
Place
obsolete language based on the join-calculus process calculus
DADiSP
Place
numerical computing environment
AgentCubes
Place
educational programming language
BASIC-8
Place
dialect of the BASIC programming language for PDP-8 minicomputers
XML Sapiens
Place
Blitz3D
Place
programming language
Portal
Place
programming language
IronLisp
Place
implementation of Lisp for Microsoft .NET Framework
Java-Hamster-Model
Place
Cerner CCL
Place
Cerner Corporation fourth-generation programming language
KuMir
SoftwareApplication
educational integrated development environment
OpenGL ES Shading Language
Place
shading language
PLANC
Place
high level computer programming language
BBj
Place
programming language
Synergy DBL
Place
imperative programming language
EFL
Place
programming language
TACPOL
Place
block structured programming language
Object-Oriented Turing
Place
Aheui
Place
programming language
Cryptol
Place
domain specific programming language for cryptography
Gibiane
Place
programming language based on Fortran 77
Object Lisp
Place
ObjVProlog
Place
Flex
Place
1960s programming language
BAL
Place
low-level programming language designed by Olivetti in the mid-1970s
MIIS
Place
programming language
Micro Lua DS
Place
programming language
Level I BASIC
Place
programming language
CosmicOS
Place
self-contained message designed to be understood primarily by treating it as a computer program and executing it
Interactive C
Place
modified version of ANSI C to program small robotics platforms
FOIL
Place
programming language
o:XML
Place
programming language based on XML-syntax
Twelf
Place
implementation of the logical framework LF
HC-BASIC
Place
BASIC interpreter from the former GDR
Turing+
Place
Pascal-like programming language
Baltazar
Place
programming language
ECL
Place
extensible high-level programming language and development environment
Dexterity
Place
proprietary programming language and technology
LOOPS
Place
programming language
LEAP
Place
extension to the ALGOL 60 programming language
Spice
Place
programming language
Powerscript
Place
BASIC 8
Place
extension of Commodore's BASIC 7.0 for the C128 home/personal computer
AiScript
Place
lightweight scripting language
PACT
Place
series of compilers
ASCEND
Place
open source, mathematical modelling chemical process modelling system
MIMIC
Place
former simulation computer language
Aleph
Place
object oriental, functional programming language
Hugo
Place
programming language for interactive fiction games
Cybil
Place
Pascal-like programming language
Kaleidoscope
Place
constraint programming language embedding constraints into an imperative object-oriented language
EventScripts
Place
plugin that provides several scripting languages to the source game engine
FLACC
Place
implementation of the ALGOL 68 programming language
ClojureScript
Place
Clojure implementation that compiles to JavaScript
CEEMAC
Place
programming language for the Apple II family of computers
JR-BASIC
Place
dialect of the BASIC programming language
ZhPy
Place
programming language
PANORAMIC
Place
programming language