Free Software
Formal System › Free Software · Ranked by notability
41
Articles
0
Images
33
Websites Tracked
1
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)
Software (6)
Page Description Language (6)
Audio Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Shading Language (5)
Technical Standard (4)
High-Level Programming Language (4)
Programming Language (459)
Scripting Language (25)
Esoteric Programming Language (12)
Object-Based Language (7)
Visual Programming Language (7)
4th-Generation Programming Language (6)
Software (6)
Page Description Language (6)
Audio Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Shading Language (5)
Technical Standard (4)
High-Level Programming Language (4)
C shell
CreativeWork
Unix shell
Ceylon
Place
programming language
Jinja
Place
Web template engine for Python
CLISP
Place
software implementation of the programming language Common Lisp
Stackless Python
Place
alternative Python implementation
Java Agent Development Framework
CreativeWork
software framework
Expect
CreativeWork
extension to the Tcl scripting language
Opa
Place
programming language
GNU Common Lisp
Place
implementation of Common Lisp
Wiring
Place
computer software for electronics prototyping
GnuCOBOL
CreativeWork
COBOL compiler and runtime
CHICKEN
CreativeWork
Scheme-based programming language implementation
Gremlin
Place
graph traversal language
Catrobat
Place
open source visual programming language
GT.M
CreativeWork
an application suite consisting of a key-value storage subsystem, a language subsystem and an application development platform with utility programs.
Gforth
Place
Free implementation of the Forth programming language
ACL2
Place
software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover
wxBasic
Place
a free software based on syntax for novice programmers
Hop
Place
Lisp-like programming language
SATySFi
CreativeWork
Programming language for typesetting
Gauche
CreativeWork
Scheme implementation
Snap4Arduino
CreativeWork
Snap4Arduino is a modification of the Snap! visual programming language that lets you interact with Arduino boards
Mondrian
CreativeWork
statistical data-visualization software
C Intermediate Language
Place
simplified subset of the C programming language
Globule
Place
content delivery network
ILNumerics.Net
CreativeWork
software
TclX
Place
tcl extension to the Tcl programming language
Kalimat
Place
programming language
Jmax
CreativeWork
visual programming environment for building interactive real-time music and multimedia applications
MicroBlocks
Place
free blocks programming system for microcontrollers
SuperNova
Place
programming language
GSQL
CreativeWork
free software
VSXu
CreativeWork
programming environment
XGQL
Place
language to generate XML and XHTML from relational databases
GNU epsilon
Place
purely-functional, strongly-typed, omega-order programming language
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
Chibi Scheme
CreativeWork
small embeddable Scheme implementation
Rlab
CreativeWork
Elvish
Place
programming language and shell
Publicodes
Place
Declarative language for modeling complex business domains
Azure Resource Manager
CreativeWork
domain-specific declarative language for defining Azure resources
1