Formal_System

Ranked by notability · Page 22

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

Browse by Type

Programming Language (487)
Scripting Language (27)
Esoteric Programming Language (12)
Object-Based Language (8)
Visual Programming Language (7)
Page Description 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)
Simulation Language (4)

Twelf
Place
implementation of the logical framework LF
Dexterity
Place
proprietary programming language and technology
PACT
Place
series of compilers
FLACC
Place
implementation of the ALGOL 68 programming language
Jeem
Place
programming language
Relevance Language
Place
RiscLua
Place
implementation of Lua to RISC OS
MacroML
Place
experimental programming language based on the ML programming language family
ASCEND
Place
open source, mathematical modelling chemical process modelling system
Micro Lua DS
Place
programming language
Robotc
Place
programming language based on C
CUPL
Place
Hardware description language
Guppy
Place
quantum programming language
Java-Hamster-Model
Place
Scalable Application Language
Place
XcalableMP
Place
directive-based language extension
Dog
Place
programming language
SuperNova
Place
programming language
COFFEE
Place
computer scripting language
Helium
Place
dialect of Haskell
The join calculus language
Place
obsolete language based on the join-calculus process calculus
Kabal
Place
programming language
Tritium
Place
scripting language for efficiently transforming structured data like HTML, XML, and JSON
Lava
Place
experimental, visual object-oriented, interpreter-based programming language
Kara
CreativeWork
Converge
Place
programming language
Oolong
Place
programming language
Dao
Place
programming language
COLA
Place
programming language
Pixie
Place
programming language
Speakeasy
Place
numerical computing interactive environment also featuring an interpreted programming language
Sense
Place
programming
PAL
Place
object-based programming language
OptimJ
Place
extension of the Java programming language
Storyboard
Place
Apple programming
SMETANA
Place
esoteric programming language
Spice
Place
programming language
Timber
Place
programming language
Katahdin
Place
programming language
SIGNAL
Place
programming language
Business Intelligence Markup Language
Place
domain-specific XML dialect for defining business intelligence (BI) assets
ELI
Place
programming language
Mavka
Place
programming language
CHAIN
Place
programming language
Cel
Place
prototypenbasierte, objektorientierte Sprache
Avenue
Place
scripting language
Claire
Place
programming language
Potion
Place
programming language
Shen
Place
programming language
JaM
Place
interpreted graphic language
LOOM
Place
knowledge representation language
Tiny
Place
programming language
CFScript
Place
CFML programming language extension for ColdFusion
ICI
Place
programming language
Kaya
Place
programming language
Alpha
Place
database language proposed by Edgar F. Codd
minus
Place
esoteric programming language
Flix
Place
page description markup language
Place
NEWP
Place
high-level programming language