Software

Formal_Language › Software · Ranked by notability

116
Articles
0
Images
86
Websites Tracked
2
Pages

Also in Formal_Language

All Formal_Language
Programming Language (471)
Scripting Language (26)
Esoteric Programming Language (12)
Assembly Language (10)
Object-Based Language (7)
Visual Programming Language (7)
Shading Language (6)
4th-Generation Programming Language (6)
Page Description Language (6)
Audio Programming Language (6)
Educational Programming Language (5)
Free Software (5)
Functional Programming Language (5)
Visual Novel Engine (4)

AutoIt
SoftwareApplication
software
Simulink
Place
programming language
Hack
Place
programming language
C shell
CreativeWork
Unix shell
Haxe
Place
cross-platform open-source programming language
Raku
Place
member of the Perl family of programming languages
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)
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
Agda
Place
dependently typed, purely functional programming language and proof assistant
CLISP
Place
software implementation of the programming language Common Lisp
Stackless Python
Place
alternative Python implementation
Mizar
Place
proof assistant
Java Agent Development Framework
CreativeWork
software framework
Squirrel
Place
programming language
Expect
CreativeWork
extension to the Tcl scripting language
GNU Common Lisp
Place
implementation of Common Lisp
DataFlex
SoftwareApplication
software
SWI-Prolog
Thing
free implementation of the programming language Prolog, commonly used for teaching and semantic web
Opa
Place
programming language
Wiring
Place
computer software for electronics prototyping
NScripter
Place
visual novel engine
CHICKEN
CreativeWork
Scheme-based programming language implementation
MIT/GNU Scheme
Place
a Scheme implementation with integrated editor and debugger
GNU Prolog
CreativeWork
general-purpose implementation of the Prolog language
Grasshopper 3d
SoftwareApplication
Programming language
GnuCOBOL
CreativeWork
COBOL compiler and runtime
S-PLUS
Place
commercial implementation of the S programming language
Amiga Basic
SoftwareApplication
BASIC programming language implementation for Amiga computers
Gremlin
Place
graph traversal language
CMU Common Lisp
CreativeWork
free Common Lisp implementation
Genie
Place
programming language
Component Pascal
Place
programming language
Catrobat
Place
open source visual programming language
FreeFem++
Place
Programming and software language
GT.M
CreativeWork
an application suite consisting of a key-value storage subsystem, a language subsystem and an applic
Lush
Place
programming language
B4X
SoftwareApplication
programming language and suite of IDEs
Boomerang
Place
programming language
Generative Modelling Language
Place
extension of PostScript used for the concise description of complex 3D shapes
Hop
Place
Lisp-like programming language
BASIC A+
SoftwareApplication
implementation of the BASIC programming language
wxBasic
Place
a free software based on syntax for novice programmers
Gforth
Place
Free implementation of the Forth programming language
TinyScheme
CreativeWork
software
ACL2
Place
software system consisting of a programming language, an extensible theory in a first-order logic, a
ASIC
SoftwareApplication
programming language
OpenLisp
SoftwareApplication
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
Gambit
CreativeWork
software which interprets and compiles Scheme code into C code
C Intermediate Language
Place
simplified subset of the C programming language
Niki – der Roboter
CreativeWork
computer program
Globule
Place
content delivery network