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:

Alice MLpermalink

License Reference

Alice ML is a functional programming language based on Standard ML, extended with rich support for concurrent, distributed, and constraint programming.

License(s)

Tag(s)

CakeMLpermalink

License Reference

CakeML is a verified REPL interpreter implementation of a significant subset of Standard ML.

License(s)

Tag(s)

Checked Cpermalink

License Reference

Checked C is an extension to C that adds static and dynamic checking to detect or prevent common programming errors such as buffer overruns, out-of-bounds memory accesses, and incorrect type casts.

License(s)

Tag(s)

Digital Mars Cpermalink

License Reference

DMC, the Digital Mars Compiler, is a one-step program to compile and link C++, C and ASM files, previously known as "sc".

License(s)

Tag(s)

DMDpermalink

License Reference

D is a systems programming language with C-like syntax and static typing. It combines efficiency, control, and modeling power with safety and programmer productivity. DMD is the reference implementation compiler.

License(s)

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)

Tag(s)

Idris LLVMpermalink

License Reference

Idris LLVM is LLVM-based code generation for the Idris programming language.

License(s)

Tag(s)

MLtonpermalink

License Reference

MLton is an open-source, whole-program, optimizing Standard ML compiler.

License(s)

Tag(s)

Ponypermalink

License Reference

Pony is an open-source, object-oriented, actor-model, capabilities-secure, high performance programming language.

License(s)

Tag(s)

QBEpermalink

License Reference

QBE aims to be a pure C embeddable backend that provides 70% of the performance of advanced compilers in 10% of the code. Its small size serves both its aspirations of correctness and our ability to understand, fix, and improve it. It also serves its users by providing trivial integration and great flexibility.

License(s)

Tag(s)

Quick Cpermalink

License Reference

Quick C, written in Myrddin, is a C frontend for the QBE backend.

License(s)

Tag(s)

SML/NJpermalink

License Reference

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

Tag(s)

SubCpermalink

License Reference

SubC is a compiler for a (mostly) strict and sane subset of C as described in "The C Programming Language", 2nd Ed (also known informally as "ANSI C" or "C89").

License(s)

Tag(s)