Formal_System

Ranked by notability · Page 25

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

Programming Language (483)
Scripting Language (27)
Esoteric Programming Language (12)
Page Description Language (7)
Visual Programming Language (7)
Object-Based Language (7)
4th-Generation Programming Language (6)
Shading Language (6)
Software (6)
Audio Programming Language (6)
Free Software (5)
Functional Programming Language (5)
Educational Programming Language (5)
Technical Standard (4)
Domain-Specific Language (4)

Aleph
Place
object oriental, functional programming language
Argos
Place
programming language
JSONiq
Place
query and functional programming language
Ana
Place
computer language that is designed for array processing and image data analysis
SQLPL
Place
SQL language structure
MShell
Place
object-oriented programming language
Cluster
Place
programming language
TOM
Place
programming language
Comfy
Place
programming language
Kid’s Programming Language
Place
programming language
NEAT
Place
assembly language for NCR computers
Project Verona
Place
experimental programming language
Secure Operations Language
Place
domain-specific synchronous programming language for developing distributed applications
GENERIC
Place
Language used to define the intermediate representation of code used by all GCC facades
Mirah
Place
programming language based on Ruby language
Kalimat
Place
programming language
BANCStar programming language
Place
specialist computer programming language for financial applications
Nord Programming Language
Place
programming language
Brutus2D
Place
game programming language
RSL
Place
Face Modeling Language
Place
XML-based language for describing face animation
urbiscript
Place
programming language for robotics
ICon-L
CreativeWork
programming language
FLOW
Place
education programming language from 1970
PPL
Place
programming language
JoCaml
Place
experimental functional programming language derived from OCaml
TOMVIEW
Place
platform for solving applied optimization problems in LabVIEW
Cryptol
Place
domain specific programming language for cryptography
SICStus Prolog
SoftwareApplication
prolog implementation
JSX
Place
statically-typed, object-oriented programming language developed by DeNA
LEAP
Place
extension to the ALGOL 60 programming language
Flex
Place
1960s programming language
Dhall
Place
configuration language
Verse
Place
programming language
EdgeQL
Place
programming language for management and use of relational databases
SQF
Place
scripting language used by Arma series of video games
Con Script
Place
programming languange used by Build Engine
ART
CreativeWork
LISP-based knowledge engineering language designed to be an integrated toolkit for building knowledg
Swift LispKit
Place
implementation of the R7RS version of the Scheme programming language
Elvish
Place
programming language and shell
NARS2000
SoftwareApplication
NARS2000 APL Implementation
F-Script
Place
object-oriented scripting programming language for Apple's macOS operating system
ElGolog
Place
programming language
Orca
Place
programming language designed for live coding
Misty
Place
programming language
Alpaca
Place
programming language
Nix
Place
domain-specific language for building and managing packages
ENIAC Short Code
Place
programming language
PL/R
Place
implementation of the R programming language for PostgreSQL database systems
NESFab
Place
programming language for creating NES games
ChinesePython
Place
programming language
IDQL
Place
declarative language for cross-platform authorization policy orchestration
ESC/POS
Place
Epson page description language
SMT-LIB
Place
input language for SMT solvers
Move
Place
A statically typed programming language for creating smart contracts.
Metal Shading Language
Place
shading language from Apple
Varphi Language
Place
A language that enables efficient development of Turing programs.
Envelop
CreativeWork
Object-oriented programming language
SCi Continuous System Simulation Language
Place
Candle
Place
programming language