Home › Browse › Formal System › Software

Software

Formal System › Software · Ranked by notability · Page 2

98
Articles
0
Images
70
Websites Tracked
2
Pages

Also in Formal System

All Formal System
Programming Language (458)
Scripting Language (25)
Esoteric Programming Language (12)
Object-Based Language (7)
Visual Programming Language (7)
4th-Generation Programming Language (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)
GSQL
CreativeWork
free software
MicroBlocks
Place
free blocks programming system for microcontrollers
MAGMA-Lisp
Place
extended Lisp to implement AI programming systems
SuperNova
Place
programming language
SAM BASIC
SoftwareApplication
Kara
CreativeWork
CLACL
Place
language for a software that allows to create designs and graphics
Wren
Place
programming language
Céu
Place
synchronous programming language for reactive programming
SICStus Prolog
SoftwareApplication
prolog implementation
Gobstones
SoftwareApplication
programming language
TOMVIEW
Place
platform for solving applied optimization problems in LabVIEW
AiScript
Place
lightweight scripting language
Jmax
CreativeWork
visual programming environment for building interactive real-time music and multimedia applications
XOD
Place
programming language
Egison
Place
Kalimat
Place
programming language
CUPL
Place
Hardware description language
GNU epsilon
Place
purely-functional, strongly-typed, omega-order programming language
Virgil
Place
fast and lightweight systems programming language
XGQL
Place
language to generate XML and XHTML from relational databases
Treetop
Place
Ruby parsing expression grammar language
VSXu
CreativeWork
programming environment
NGN APL
SoftwareApplication
APL interpreter written in JavaScript
dzaima APL
Place
an implementation of APL in Java
Misty
Place
programming language
April APL
SoftwareApplication
implementation of APL language
Chibi Scheme
CreativeWork
small embeddable Scheme implementation
Rlab
CreativeWork
Dark
Place
programming language, code editor and web backend infrastructure framework
NARS2000
SoftwareApplication
NARS2000 APL Implementation
Croc
Place
small, lightweight, extension language in the vein of Lua or Squirrel
Elvish
Place
programming language and shell
Octave
Place
high-level programming language, primarily intended for numerical computations
Microalg
Place
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
Publicodes
Place
Declarative language for modeling complex business domains
Azure Resource Manager
CreativeWork
domain-specific declarative language for defining Azure resources