Home › Browse › Formal System

Formal System

Ranked by notability · Page 28

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)
BACAIC
Place
programming language
Space Programming Language
Place
programming language
Hybrix programming language
Place
educational programming language used in the Hybrix platform
AutoHotkey language
Place
ChavaScript
Place
Hebrew programming script
Candle
Place
programming language
UrduScript
Place
JavaScript ka Urdish dialect
SMT-LIB
Place
input language for SMT solvers
Ink
Place
narrative scripting language for games
Alkhawarizm
Place
Arabic programming language
Judoscript
Place
general purpose programming languages designed primarily for scripting on the Java platform
Mosel language
Place
algebraic modeling language
Stanislaus
Place
programming language
Virgil
Place
fast and lightweight systems programming language
Tekkie Uni
Place
Coding for kids courses
ZScript
Place
programming languange
CPC Coding scheme
Place
programming language
Otus Lisp
Place
purely functional dialect of Scheme
Jai
Place
programming language created by Jonathan Blow, not offically named yet
SurgeScript
CreativeWork
free game engine
ElGolog
Place
programming language
NCAR Command Language
Place
programming language for climate data
Jsish
Place
scripting language designed for embedded systems
BQN
Place
array-oriented programming language
NARS2000
SoftwareApplication
NARS2000 APL Implementation
Fennel
Place
Scripting language
Nix
Place
domain-specific language for building and managing packages
ESC/POS
Place
Epson page description language
Brief Code
Place
programming language
Unilang
Place
computer program language
Alpaca
Place
programming language
SQF
Place
scripting language used by Arma series of video games
Turbo Pascal OOP
Thing
programming language
IDQL
Place
declarative language for cross-platform authorization policy orchestration
Overpass QL
Place
procedural, imperative language loosely based on C syntax for querying OpenStreetMap data through the Overpass API
Met English
Place
early computer language used by the Metropolitan Life Insurance Company (MetLife)
APLX
Place
dialect of the APL programming language
Koord
Place
programming language
Turtlestitch
Product
visual blocks-based programming environment for turtle graphics and embroidery
Torino
Place
programming language
Hyperscript
Place
event-driven scripting language for front end web development, inspired by HyperTalk
ZIL
Place
programming language used by Infocom
WaveGL
Place
programming language for sounds based on the OpenGL shading language
MIDAS
Place
programming language
Motoko
Place
Programming language for the Internet Computer of Dfinity
Gnolang
Place
Smart-contract suite based on Golang
NESFab
Place
programming language for creating NES games
Elvish
Place
programming language and shell
Skribe
CreativeWork
document production tool written by Manuel Serrano for Bigloo and ported to STkLos by Érick Gallesio; started around 2003 as a successor of Scribe
Verse
Place
programming language
Alore
Place
programming language
Computest
Place
programming language
VScript
Place
programming languange
Programmable Command Language
Place
programming language
frontier-guarded Datalog
Place
fragment of Datalog
Rant
Place
programming and markup language designed for generating random text
Ada 2022
Place
2022 edition of the Ada programming language standard
guarded Datalog
Place
fragment of Datalog query language
DuAL
Place
programming language
SCi Continuous System Simulation Language
Place