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:

Functional Javapermalink

License Reference

License(s)

Tag(s)

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)

Logo3Dpermalink

License Reference

This project presents an implementation of the turtle graphics system originally developed for the Logo programming language developed at MIT by Seymour Papert.

License(s)

Tag(s)

metrics-guicepermalink

License Reference

The metrics-guice project provides Guice support for the JVM-based Metrics project by Dropwizard.

License(s)

Tag(s)

nfn-scalapermalink

License Reference

This project provides an NFN service layer implementation written in Scala, interfacing iwth and depending on CCN-Lite. It provides an asynchronous compute environment, a CCN and NFN client library, and a DSL to write lambda calculus programs. It can also be used to run CCN-Lite directly from Scala and to create a network topology.

License(s)

Tag(s)

sbtpermalink

License Reference

Scala Build Tool (sbt) is a build tool for Scala, Java, and more. Use Scala to define your tasks, then run them in parallel from the shell.

License(s)

Tag(s)

Scalapermalink

License Reference

Scala is a JVM language with seamless Java interop, type inference, class-based OOP facilities, and functional features like higher-order functions.

License(s)

Tag(s)