Copyfree: resources > works

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:

Isabellepermalink

License Reference

Isabelle 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)

Tag(s)

Leopermalink

License Reference

Leo is a PIM, IDE and outliner that accelerates the work flow of programmers, authors and web designers.

License(s)

Tag(s)

Light Tablepermalink

License Reference

Light Table is the next generation of integrated development environment organized around behaviors, objects, and tags. It is elegant, lightweight, and beautifully designed so that your IDE is no longer cluttered.

License(s)

Tag(s)

Ultimate++permalink

License Reference

Ultimate++ is a C++ cross-platform rapid application development framework focused on programmer productivity. It includes a set of libraries (GUI, SQL, etc.), and an integrated development environment.

License(s)

Tag(s)

Visual Studio Codepermalink

License Reference

VS Code is a new type of tool that combines the simplicity of a code editor with what developers need for their core edit-build-debug cycle. Code provides comprehensive editing and debugging support, an extensibility model, and lightweight integration with existing tools.

License(s)

Tag(s)