Free Software

Formal_System › Free Software · Ranked by notability

47
Articles
0
Images
39
Websites Tracked
1
Pages

Also in Formal_System

All Formal_System
Programming Language (469)
Scripting Language (25)
Esoteric Programming Language (12)
Visual Programming Language (7)
Object-Based Language (7)
Software (6)
Audio Programming Language (6)
Shading Language (6)
Page Description Language (6)
4th-Generation Programming Language (6)
Functional Programming Language (5)
Educational Programming Language (5)
Technical Standard (4)
Procedural Programming Language (4)

C shell
CreativeWork
Unix shell
Ceylon
Place
programming language
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
CLISP
Place
software implementation of the programming language Common Lisp
Agda
Place
dependently typed, purely functional programming language and proof assistant
Java Agent Development Framework
CreativeWork
software framework
Expect
CreativeWork
extension to the Tcl scripting language
GNU Common Lisp
Place
implementation of Common Lisp
Opa
Place
programming language
Wiring
Place
computer software for electronics prototyping
CHICKEN
CreativeWork
Scheme-based programming language implementation
MIT/GNU Scheme
Place
a Scheme implementation with integrated editor and debugger
GnuCOBOL
CreativeWork
COBOL compiler and runtime
CMU Common Lisp
CreativeWork
free Common Lisp 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 applic
wxBasic
Place
a free software based on syntax for novice programmers
ACL2
Place
software system consisting of a programming language, an extensible theory in a first-order logic, a
Hop
Place
Lisp-like programming language
TinyScheme
CreativeWork
software
Gforth
Place
Free implementation of the Forth programming language
SATySFi
CreativeWork
Programming language for typesetting
C Intermediate Language
Place
simplified subset of the C programming language
Gauche
CreativeWork
Scheme implementation
Snap4Arduino
CreativeWork
Snap4Arduino is a modification of the Snap! visual programming language that lets you interact with
Mondrian
CreativeWork
statistical data-visualization software
ILNumerics.Net
CreativeWork
software
TclX
Place
tcl extension to the Tcl programming language
Globule
Place
content delivery network
MicroBlocks
Place
free blocks programming system for microcontrollers
Jmax
CreativeWork
visual programming environment for building interactive real-time music and multimedia applications
SuperNova
Place
programming language
Kalimat
Place
programming language
GSQL
CreativeWork
free software
Skribe
CreativeWork
document production tool written by Manuel Serrano for Bigloo and ported to STkLos by Érick Gallesio
VSXu
CreativeWork
programming environment
Rlab
CreativeWork
Publicodes
Place
Declarative language for modeling complex business domains
Elvish
Place
programming language and shell
Azure Resource Manager
CreativeWork
domain-specific declarative language for defining Azure resources
XGQL
Place
language to generate XML and XHTML from relational databases
GNU epsilon
Place
purely-functional, strongly-typed, omega-order programming language
Chibi Scheme
CreativeWork
small embeddable Scheme implementation