Home › Browse › Formal System › Software

Software

Formal System › Software · Ranked by notability · Page 2

99
Articles
0
Images
71
Websites Tracked
2
Pages

Also in Formal System

All Formal System
Programming Language (459)
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)
AiScript
Place
lightweight scripting language
Blitz3D
Place
programming language
CLACL
Place
language for a software that allows to create designs and graphics
SuperNova
Place
programming language
Wren
Place
programming language
GSQL
CreativeWork
free software
SAM BASIC
SoftwareApplication
MAGMA-Lisp
Place
extended Lisp to implement AI programming systems
MicroBlocks
Place
free blocks programming system for microcontrollers
KuMir
SoftwareApplication
educational integrated development environment
Kara
CreativeWork
CUPL
Place
Hardware description language
Kalimat
Place
programming language
Jmax
CreativeWork
visual programming environment for building interactive real-time music and multimedia applications
XOD
Place
programming language
Egison
Place
Gobstones
SoftwareApplication
programming language
Céu
Place
synchronous programming language for reactive programming
SICStus Prolog
SoftwareApplication
prolog implementation
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
Rlab
CreativeWork
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
Dark
Place
programming language, code editor and web backend infrastructure framework
NARS2000
SoftwareApplication
NARS2000 APL Implementation
GNU epsilon
Place
purely-functional, strongly-typed, omega-order programming language
Chibi Scheme
CreativeWork
small embeddable Scheme implementation
Virgil
Place
fast and lightweight systems programming language
XGQL
Place
language to generate XML and XHTML from relational databases