Formal_System
Ranked by notability · Page 9
1,768
Articles
11
Images
750
Websites Tracked
30
Pages
Browse by Type
Programming Language (469)
Scripting Language (25)
Esoteric Programming Language (12)
Visual Programming Language (7)
Object-Based Language (7)
Software (6)
Audio Programming Language (6)
Shading Language (6)
Page Description Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Procedural Programming Language (4)
Scripting Language (25)
Esoteric Programming Language (12)
Visual Programming Language (7)
Object-Based Language (7)
Software (6)
Audio Programming Language (6)
Shading Language (6)
Page Description Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Free Software (5)
Technical Standard (4)
Procedural Programming Language (4)
TACL
Place
scripting programming language
Fenix Project
Place
Pyrex
Place
programming language to aid in creating Python modules
FALSE
Place
esoteric programming language
Lush
Place
programming language
B4X
SoftwareApplication
programming language and suite of IDEs
Open Shading Language
Place
shading language developed by Sony Pictures Imageworks
Concurrent ML
Place
extension of the Standard ML programming language
Microsoft Visual Programming Language
Place
visual programming language
Gforth
Place
Free implementation of the Forth programming language
TouchDesigner
Place
node based visual programming language for real time interactive multimedia content
Telescript
Place
programming language
ASIC
SoftwareApplication
programming language
MAD
Place
programming language and compiler
MPD
class
programming language
BASIC A+
SoftwareApplication
implementation of the BASIC programming language
SMIL Timesheets
Place
style sheet language which is intended for use as an external timing stylesheet for SMIL
Wyvern
Place
programming language
ABC ALGOL
Place
programming language
Zonnon
Place
programming language
SmallBASIC
Place
BASIC programming language dialect with interpreters released as free software
DIBOL
Place
general-purpose, procedural, imperative programming language
Cirq
Place
free software library for editing and simulating quantum circuits
Dafny
Place
programming language
Draco
Place
programming language
Cuneiform
Place
purely functional workflow programming language
Atlas Autocode
Place
variant of the ALGOL programming language
RPython
Place
programming language based on Python
LiveScript
Place
Functional programming language that compiles to JavaScript (founded in 2011)
ACL2
Place
software system consisting of a programming language, an extensible theory in a first-order logic, a
Ballerina
Place
programming language
Ur/Web
Place
functional programming language tailored for web development
Cilk Plus
Place
Parallel programming extension to C and C++
MIVA Script
Place
scripting language
Robik
Place
ZX Spectrum clone
Easy Programming Language
Place
Chinese programming language
Ubercode
Place
high-level programming language
Chinese BASIC
Place
several Chinese-localized versions of the BASIC programming language
Active Oberon
Place
programming language
ล็อกทอล์ก
Place
object-oriented logic programming language that extends and leverages the Prolog language
Iota and Jot
Place
minimalistic Turing-complete programming languages based on combinatory logic
xHarbour
Place
free multi-platform extended Clipper compiler
Printer Job Language
Place
method developed by Hewlett-Packard for switching printer languages at the job level
Gleam
Place
functional, concurrent programming language
Dragon
Place
dynamic programming language
Maya Embedded Language
Place
scripting language used to simplify tasks in Autodesk's 3D Graphics Software Maya
Advice taker
Place
hypothetical computer program
Project Builder
Place
integrated development environment (IDE) originally for the NeXTSTEP operating system
Cangjie
Place
programming language development by Huawei
URBI
Product
open-source cross-platform software platform in C++ used to develop applications for robotics and co
Hot Soup Processor
Place
Japanese programming language
Pico
Place
programming language to introduce the essentials of programming to non-computer science students
CycL
Place
ontology language used by Doug Lenat's Cyc artificial intelligence project
Pascal Script
Place
scripting language based on Object Pascal
Flapjax
Place
programming language built atop JavaScript
Analitik
Place
programming language
Gofer
Place
programming language
Windows App Studio
Place
discontinued web app provided by Microsoft for Windows app development
Aldor
Place
programming language
TinyScheme
CreativeWork
software