Home › Browse › Formal System

Formal System

Ranked by notability · Page 26

1,768
Articles
11
Images
750
Websites Tracked
30
Pages

Browse by Type

Programming Language (458)
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)
Shading Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
High-Level Programming Language (4)
Bloom
Place
programming language
AmiBlitz
Place
open source programming language for Amiga
Loglan
Place
object-oriented programming language developed at University of Warsaw in the 1970s and 1980s
Boehm unnamed coding system
Place
programming language
Eta
Place
dialect of Haskell programming language
Croc
Place
small, lightweight, extension language in the vein of Lua or Squirrel
Graphics Programming Language
class
Julia
CreativeWork
free software compiler and tools for the Julia programming language
SLAM
Place
simulation language from 1979
PRINT
Place
programming language
CLtL2
Place
standard of common lisp, as described by the book Common Lisp, the Language, Vol. 2
Armada
Place
programming language
OMNIBAC Symbolic Assembler
Place
programming language
Guix Workflow Language
Place
workflow management extension for Guix
njs
Place
scripting language based on JavaScript
Deadfish
Place
PL/R
Place
implementation of the R programming language for PostgreSQL database systems
Janet
Place
programming language
Gobra
Intangible
Program Verifier for the Go Programming Language
Overpass XML
CreativeWork
procedural, imperative XML language for querying OpenStreetMap data through the Overpass API
Logica
Place
logical programming language
LSE64
Place
programming language
Jakt
Place
programming language
Gnolang
Place
Smart-contract suite based on Golang
Apex
Place
programming language
MoonScript
Place
scripting language that compiles into Lua
Austral
Place
programming language
Lioness
Place
programming language
ODD
Place
programming language for XML schema
Rlab
CreativeWork
Scallop
Place
neuro-symbolic programming language
XDL
Place
executable standard language for programming chemical synthesis
Blub
Place
hypothetical programming language
Amber
Place
programming language developed at Bell Labs
Fennel
Place
Scripting language
SCM Script
Place
programming language
Dylan.NET
Place
programming language
Kaitai Struct
Place
declarative binary data format specification language
SQF
Place
scripting language used by Arma series of video games
Dodo0
Place
programming language
ENIAC coding system
Place
programming language
SPARQL 1.1
Place
set of specifications that provide languages and protocols to query and manipulate RDF graph content on the Web or in an RDF store
Turtlestitch
Product
visual blocks-based programming environment for turtle graphics and embroidery
Torino
Place
programming language
Cilk++
Place
Parallel programming language
Brief Code
Place
programming language
NARS2000
SoftwareApplication
NARS2000 APL Implementation
Chibi Scheme
CreativeWork
small embeddable Scheme implementation
Jsish
Place
scripting language designed for embedded systems
SCi Continuous System Simulation Language
Place
NCAR Command Language
Place
programming language for climate data
SurgeScript
CreativeWork
free game engine
Otus Lisp
Place
purely functional dialect of Scheme
Hyperscript
Place
event-driven scripting language for front end web development, inspired by HyperTalk
ZScript
Place
programming languange
Luau
Place
Programming language based on Lua
Tekkie Uni
Place
Coding for kids courses
Java 21
Place
Orca
Place
programming language designed for live coding
Virgil
Place
fast and lightweight systems programming language