Home › Browse › Formal_System

Formal_System

Ranked by notability · Page 27

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

Programming Language (473)
Scripting Language (26)
Esoteric Programming Language (12)
Visual Programming Language (7)
Page Description Language (7)
Object-Based Language (7)
Software (6)
Shading Language (6)
Audio Programming Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Domain-Specific Language (4)
Loglan
Place
object-oriented programming language developed at University of Warsaw in the 1970s and 1980s
Arduino programming language
Place
programming language
Eta
Place
dialect of Haskell programming language
Myrddin
Place
programming language
Birkbeck Assembler
Place
programming language
Scallop
Place
neuro-symbolic programming language
Envelop
CreativeWork
Object-oriented programming language
Croc
Place
small, lightweight, extension language in the vein of Lua or Squirrel
Amber
Place
programming language compiled to Bash
PRINT
Place
programming language
Armada
Place
programming language
Lucee
Place
dynamically-typed scripting language for the Java virtual machine (JVM)
MeLa
Place
programming language
Azure Bicep
Place
domain-specific declarative language for defining Azure resources
dzaima APL
Place
an implementation of APL in Java
Gnolang
Place
Smart-contract suite based on Golang
Logica
Place
logical programming language
Guix Workflow Language
Place
workflow management extension for Guix
ChinesePython
Place
programming language
MATLAB
Place
fourth-generation programming language
Ink
Place
narrative scripting language for games
Austral
Place
programming language
RPG/400
Place
programming language
Lioness
Place
programming language
AutoHotkey language
Place
ODD
Place
programming language for XML schema
AmiBlitz
Place
open source programming language for Amiga
linear Datalog
Place
fragment of Datalog query
VScript
Place
programming languange
Green
Place
programming language
Blitz2D
Place
programming language
Programming Language for Distributed Systems
Place
IBM internal programming language, used to develop software for the IBM 8100
Nock
Place
programming language
MapLibre Style Specification
CreativeWork
JSON-based file format that defines the content and appearance of a map, forked from the Mapbox Styl
Reversed brainfuck
Place
concept of a interpreter for brainfuck that reads it backwards
Amazon Shading Language
Place
Unilang
Place
computer program language
Apex
Place
programming language
Blub
Place
hypothetical programming language
Extended Pascal
Place
programming language
DocuDraft
Place
Templating language for generating reports in legal practices
Text Executive Programming Language
Place
programming language for a time-sharing service
Fennel
Place
Scripting language
Hyperlambda
Place
ZScript
Place
programming languange
Tekkie Uni
Place
Coding for kids courses
Boehm unnamed coding system
Place
programming language
thinBasic
Place
BASIC-like computer programming language interpreter
Turtlestitch
Product
visual blocks-based programming environment for turtle graphics and embroidery
HolyC
Place
Programming language in which the TempleOS operating system is developed
Von Neumann and Goldstine graphing system
Place
programming language
Virgil
Place
fast and lightweight systems programming language
GNU epsilon
Place
purely-functional, strongly-typed, omega-order programming language
Julia
CreativeWork
free software compiler and tools for the Julia programming language
CPC Coding scheme
Place
programming language
Skribe
CreativeWork
document production tool written by Manuel Serrano for Bigloo and ported to STkLos by Érick Gallesio
DRAMA
Place
BlitzPlus
Place
programming language
SPARQL-Generate
Place
transformation language to generate RDF
Motoko
Place
Programming language for the Internet Computer of Dfinity