Welcome to EverybodyWiki 😃 ! Nuvola apps kgpg.png Log in or ➕👤 create an account to improve, watchlist or create an article like a 🏭 company page or a 👨👩 bio (yours ?)...


From EverybodyWiki Bios & Wiki

In computer software, Fōrmulæ is a framework and programming language to do symbolic programming.

Formulae logo.png
ParadigmSymbolic programming
Designed byLaurence R. Ugalde
First appeared2015; 6 years ago (2015)
Stable release
29 August 2018; 2 years ago (2018-08-29)
Typing disciplinestatic dynamic, weak strong
Scopelexical dynamic
Implementation languageAs an specification, it can be implemented in any programming language. Currently in Java
OSCross-platform desktop: Linux, MacOS, Microsoft Windows
LicenseGPL 3, LGPL 3, GFDL
Filename extensions.desktop (for the Desktop front-end)
Influenced by
Symbolic programming, Dynamic programming languages, High-level programming languages, Functional programming, Lisp, ECMAScript, Maxima, Rewriting systems

Amazon.com Logo.png Search Fōrmulæ on Amazon.


Fōrmulæ is a free software framework and programming language to do symbolic programming intended to be used as a scientific programming language or academic programmic language, primarily for academic and researching purposes on programming language theory and other computer science fields, rather than as a mainstream programming language.


The Fōrmulæ framework is free software, so binaries are freely available, and code can be copied, redistributed or modified freely.

The Library and the standard packages are licensed under the LGPL 3.

The Desktop program is licensed under the GPL 3

Documentation is licensed under the GFDL.

Outside the project[edit]

Anyone can create Fōrmulæ packages. The only requirement to do that is the linkage to the library, and since it is licensed under the LGPL 3, it allows that the type of licence of the resulting product can be chosen freely by its author(s), and it can be even proprietary or commercially licensed[1]


The creator of the project started to write the code around 1995, from ideas taken from early symbolic projects, such like a payroll system created around 1990, where calculations were defined as formulas instead of being hard-coded in programs, and other projects written on 2002 where the Mathematica software was used.

The project was presented in the Applications of Computer Algebra (ACA 2015).[2] in Kalamata, Greece at July 20, 2015, with the paper "Cooperative development and human interface of a computer algebra system with the Fōrmulæ framework"[3][4]

In August 30, 2018, an entry for the Fōrmulæ programming language was created in the Rosetta Code website[5]. Since then, several entries for task solution have been published, mainly to show the symbolic and functional capabilities of the language. The first one of them was the Universal Turing machine entry[6] In order to show that the Fōrmulæ programming language is Turing complete.

In September 4, 2018, a section in the Fōrmulæ Dictionary web site was created to show examples of programs written in the Fōrmulæ programming language, included the programs for the Rosetta Code[7]

At September 25, 2018, Fōrmulæ was ranked 280 by Rosetta Code, from 682 programming languages in such that site.[8]

See also[edit]

  • Symbolic programming

External links[edit]


This article "Fōrmulæ" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Fōrmulæ. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.