Copyfree Works
The license status of some works may be more complex than it at first appears here. In some cases, the license status listed for a given work is the "primary" license under which it is distributed. In several cases, parts of the work may be distributed under other licenses -- potentially even non-copyfree licenses.
Where present, descriptions are typically drawn from the claims of the projects themselves, and represent neither claims nor opinions of the Copyfree Initiative. Inclusion here (with or without description) does not constitute, and should not be inferred as, endorsement of any project.
Listings are presented for informational purposes only, and no representation is made as to the accuracy or utility of any information provided. Use at your own risk.
Filter Tags
To filter the list, click either the + or - link for a given tag.
+: Clicking the + link will include only works that are tagged with that term.
-: Clicking the - link will exclude only works that are tagged with that term.
Submit Works
There are presently two ways to submit a work:
- Join the IRC channel (see community resources) and tell apotheon about the work. Make sure you provide both the address for whatever serves as an official homepage or source for the work, and the address for an authoritative source for the license terms of the project.
- Use the (temporary) measure of visiting the CopyfreeWorks repository, forking it, editing the datafile, and submitting a pull request. See the CopyfreeWorks README for more details on how to do this.
CakeMLpermalink
License ReferenceCakeML is a verified REPL interpreter implementation of a significant subset of Standard ML.
License(s)
- Simplified BSD License
Tag(s)
HaMLetpermalink
HaMLet is a faithful and complete implementation of the Standard ML programming language (SML'97). It aims to be an accurate reference implementation of the language specification, a platform for experimentation with the language semantics or extensions to it, and a useful tool for educational purposes.
License(s)
- custom license
Tag(s)
Isabellepermalink
License ReferenceIsabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus.
License(s)
- Revised BSD License
Tag(s)
MLtonpermalink
License ReferenceMLton is an open-source, whole-program, optimizing Standard ML compiler.
License(s)
- Python Imaging Library License (modified)
Tag(s)
SML/NJpermalink
License ReferenceStandard ML of New Jersey (abbreviated SML/NJ) is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation.
License(s)
- SML/NJ License