Software

Formal_System › Software · Ranked by notability

100
Articles
0
Images
72
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)
Educational Programming Language (5)
Shading Language (5)
Free Software (5)
Technical Standard (4)
High-Level Programming Language (4)

AutoIt
SoftwareApplication
software
Simulink
Place
programming language
Hack
Place
programming language
C shell
CreativeWork
Unix shell
Ceylon
Place
programming language
SuperCollider
Place
environment and programming language for real-time audio synthesis and algorithmic composition
Delphi
Place
programming language (dialect of Object Pascal, used in Embarcadero Delphi)
Jinja
Place
Web template engine for Python
Stackless Python
Place
alternative Python implementation
CLISP
Place
software implementation of the programming language Common Lisp
Mizar
Place
proof assistant
Java Agent Development Framework
CreativeWork
software framework
Expect
CreativeWork
extension to the Tcl scripting language
Squirrel
Place
programming language
GNU Common Lisp
Place
implementation of Common Lisp
Opa
Place
programming language
DataFlex
SoftwareApplication
software
Wiring
Place
computer software for electronics prototyping
GnuCOBOL
CreativeWork
COBOL compiler and runtime
CHICKEN
CreativeWork
Scheme-based programming language implementation
Grasshopper 3d
SoftwareApplication
Programming language
Gremlin
Place
graph traversal language
FreeFem++
Place
Programming and software language
Genie
Place
programming language
Component Pascal
Place
programming language
Catrobat
Place
open source visual programming language
S-PLUS
Place
commercial implementation of the S programming language
Amiga Basic
SoftwareApplication
BASIC programming language implementation for Amiga computers
GT.M
CreativeWork
an application suite consisting of a key-value storage subsystem, a language subsystem and an application development platform with utility programs.
Lush
Place
programming language
Boomerang
Place
programming language
B4X
SoftwareApplication
programming language and suite of IDEs
Generative Modelling Language
Place
extension of PostScript used for the concise description of complex 3D shapes
ACL2
Place
software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover
ASIC
SoftwareApplication
programming language
BASIC A+
SoftwareApplication
implementation of the BASIC programming language
wxBasic
Place
a free software based on syntax for novice programmers
Hop
Place
Lisp-like programming language
Gforth
Place
Free implementation of the Forth programming language
SATySFi
CreativeWork
Programming language for typesetting
GameMonkey Script
Place
Franz Lisp
SoftwareApplication
dialect of the Lisp programming language
MLAB
Place
multi-paradigm numerical computing environment
OpenLisp
SoftwareApplication
C Intermediate Language
Place
simplified subset of the C programming language
LispWorks
Place
proprietary implementation and integrated development environment (IDE) for Common Lisp
APMonitor
Thing
modelling language for algebraic equations
Globule
Place
content delivery network
Visual Basic 6
Place
Snap4Arduino
CreativeWork
Snap4Arduino is a modification of the Snap! visual programming language that lets you interact with Arduino boards
YS MegaBasic
SoftwareApplication
NekoVM
Organization
application virtual machine and programming language
Atari ST BASIC
SoftwareApplication
software
Gauche
CreativeWork
Scheme implementation
TclX
Place
tcl extension to the Tcl programming language
Mondrian
CreativeWork
statistical data-visualization software
Niki – der Roboter
CreativeWork
computer program
OpenMx
Place
open source program for extended structural equation modeling
ILNumerics.Net
CreativeWork
software
Céu
Place
synchronous programming language for reactive programming