Home › Browse › Formal_System

Formal_System

Ranked by notability · Page 16

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)
Epigram
Place
functional programming language with dependent types
rank
Place
rank in the J programming language
Nessus Attack Scripting Language
Place
scripting language that is used by vulnerability scanners like Nessus and OpenVAS
Edinburgh IMP
Place
systems programming language used in the EMAS operating system
CAL
Place
programming language
Gauche
CreativeWork
Scheme implementation
TclX
Place
tcl extension to the Tcl programming language
HiAsm
Place
free application integrated development environment (IDE)
IMP
Place
programming language
OpenMx
Place
open source program for extended structural equation modeling
2APL
Place
modular BDI-based programming language
MUSIC-N
Place
audio programming language
LFE
Place
Lisp Flavored Erlang
PyUnit
Place
code-driven unit testing frameworks for Python
WSFN
Place
interpreted programming language for controlling robots
Jai
Place
High-level programming language
MS BASIC for Macintosh
Place
dialect of Microsoft BASIC for Macintosh
Programmation Automatique des Formules
Place
programming language similar to FORTRAN
λProlog
Place
logic programming language featuring polymorphic typing, modular programming
Macintosh Common Lisp
Place
implementation and IDE for the Common Lisp programming language
Spoon
Place
esoteric programming language
AtScript
Place
proposed JavaScript-based scripting language
Nadeshiko
Place
programming language
Focal
Place
programming language
Hindawi Programming System
Place
suite of open source programming languages
Data Access Language
Place
SQL-like language and application programming interface
GDScript
Place
programming language
Ciao
Place
programming language
Poplog
Place
programming language
Strongtalk
Place
programming language
Hopscotch
MobileApplication
app for teaching programming
FriCAS
Place
programming language
Program Composition Notation
Place
programming language
KRL
Place
knowledge representation language
ABLE
Place
programming language
NetRexx
Place
open source, originally IBM's, variant of the REXX programming language to run on the Java virtual m
EuLisp
Place
statically and dynamically scoped Lisp dialect
KUKA Robot Language
Place
programming language
Algoid
Place
programming language
Atari Pascal
Place
Programming language
Python 3
Place
major release of Python programming language
Raptor
Place
graphical authoring tool
Cecil
Place
programming language
Continuous Function Chart
Place
graphic editor that can be used in conjunction with the STEP 7 software package
Superplan
Place
programming language
SiMPLE
Place
programming language
Tink
Place
programming language
ELAN
Place
educational programming language for learning and teaching systematic programming
Plus
Place
programming language
SK8
CreativeWork
Software by Apple Computer
Obix
Place
programming language
Krypton
Place
programming language
colorForth
Place
programming language
Jolie
Place
open-source programming language for developing distributed applications based on microservices
HP Time-Shared BASIC
Place
computer programming language interpreter
FACT
Place
programming language
Proteus
Place
procedural programming language
Globule
Place
content delivery network
Haskell 98 features
Place
Features in Haskell programming language
GOAL
Place
agent programming language for programming cognitive agents