Software
Formal_System › Software · Ranked by notability
126
Articles
0
Images
103
Keywords Tracked
97
Websites Tracked
7,663,010
Monthly Searches
3
Pages
Also in Formal_System
All Formal_System
Programming Language (489)
Scripting Language (27)
Esoteric Programming Language (12)
Object-Based Language (8)
Visual Programming Language (7)
Page Description Language (7)
Shading Language (6)
Audio Programming Language (6)
4th-Generation Programming Language (6)
Educational Programming Language (5)
Functional Programming Language (5)
Free Software (5)
Technical Standard (4)
Simulation Language (4)
Programming Language (489)
Scripting Language (27)
Esoteric Programming Language (12)
Object-Based Language (8)
Visual Programming Language (7)
Page Description Language (7)
Shading Language (6)
Audio Programming Language (6)
4th-Generation Programming Language (6)
Educational Programming Language (5)
Functional Programming Language (5)
Free Software (5)
Technical Standard (4)
Simulation Language (4)
GNU Octave
CreativeWork
numerical computation software
AutoIt
SoftwareApplication
software
FreeBASIC
CreativeWork
compiled programming language
Simulink
Place
programming language
Hack
Place
programming language
LESS
Place
dynamic stylesheet language
C shell
CreativeWork
Unix shell
Netwide Assembler
CreativeWork
assembler and disassembler for the Intel x86 architecture
Haxe
Place
cross-platform open-source programming language
Ceylon
Place
programming language
Raku
Place
member of the Perl family of programming languages
SuperCollider
Place
environment and programming language for real-time audio synthesis and algorithmic composition
Nim
Place
programming language
Delphi
Place
programming language (dialect of Object Pascal, used in Embarcadero Delphi)
CLIPS
Place
public domain software tool for building expert systems
GNU Guile
Place
Scheme implementation intended especially for extensions
Rocq prover
CreativeWork
proof assistant
Jinja
Place
Web template engine for Python
KTurtle
Place
educational programming environment for turtle graphics
Stackless Python
Place
alternative Python implementation
Agda
Place
dependently typed, purely functional programming language and proof assistant
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
DataFlex
SoftwareApplication
software
Opa
Place
programming language
GNU Common Lisp
Place
implementation of Common Lisp
Wiring
Place
computer software for electronics prototyping
PARI/GP
CreativeWork
computer algebra system
Grasshopper 3d
SoftwareApplication
Programming language
GnuCOBOL
CreativeWork
COBOL compiler and runtime
MIT/GNU Scheme
Place
a Scheme implementation with integrated editor and debugger
CHICKEN
CreativeWork
Scheme-based programming language implementation
Catrobat
Place
open source visual programming language
Gremlin
Place
graph traversal language
FreeFem++
Place
Programming and software language
Component Pascal
Place
programming language
S-PLUS
Place
commercial implementation of the S programming language
CMU Common Lisp
CreativeWork
free Common Lisp implementation
Amiga Basic
SoftwareApplication
BASIC programming language implementation for Amiga computers
Genie
Place
programming language
B4X
SoftwareApplication
programming language and suite of IDEs
Reason
Place
syntax extension and toolchain for OCaml
AngelScript
Place
scripting language
Lush
Place
programming language
Generative Modelling Language
Place
extension of PostScript used for the concise description of complex 3D shapes
Boomerang
Place
programming language
GT.M
CreativeWork
an application suite consisting of a key-value storage subsystem, a language subsystem and an applic
ASIC
SoftwareApplication
programming language
ACL2
Place
software system consisting of a programming language, an extensible theory in a first-order logic, a
wxBasic
Place
a free software based on syntax for novice programmers
BASIC A+
SoftwareApplication
implementation of the BASIC programming language
TinyScheme
CreativeWork
software
Gforth
Place
Free implementation of the Forth programming language
Hop
Place
Lisp-like programming language
Cirq
Place
free software library for editing and simulating quantum circuits
SATySFi
CreativeWork
Programming language for typesetting
GNU Awk
Place
Text scanning and processing language