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:

Agdapermalink

License Reference

Agda is a dependently typed functional programming language, and a proof assistant.

License(s)

Tag(s)

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)

Clangpermalink

License(s)

Tag(s)

CMU Common Lisppermalink

License Reference

CMUCL is a high-performance, free Common Lisp implementation that runs on most major Unix platforms.

License(s)

Tag(s)

Epigrampermalink

License Reference

Epigram is a dependently typed programming language and an interactive programming environment.

License(s)

Tag(s)

Factorpermalink

License Reference

The Factor programming language combines powerful language features with a full-featured library. The implementation is fully compiled for performance, while still supporting interactive development. Factor applications are portable between all common platforms.

License(s)

Tag(s)

Glasgow Haskell Compilerpermalink

License Reference

GHC is a state-of-the-art, open source compiler and interactive environment for the functional language Haskell.

License(s)

Tag(s)

Gopermalink

License Reference

Go is an open source programming language that makes it easy to build simple, reliable, and efficient software.

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)

Idrispermalink

License Reference

Idris is a general purpose pure functional programming language with dependent types and features inspired by Haskell and ML. Dependent types allow types to be predicated on values, meaning that some aspects of a program’s behaviour can be specified precisely in the type. It is compiled, with eager evaluation.

License(s)

Tag(s)

Idris LLVMpermalink

License Reference

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

License(s)

Tag(s)

Juliapermalink

License Reference

Julia is a high-level, high-performance dynamic programming language for technical computing, with syntax that is familiar to users of other technical computing environments. It provides a sophisticated compiler, distributed parallel execution, numerical accuracy, and an extensive mathematical function library.

License(s)

Tag(s)

LLVMpermalink

License Reference

License(s)

Tag(s)

MLtonpermalink

License Reference

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

License(s)

Tag(s)

Myrddinpermalink

License References

Myrddin is a systems programming language that covers a similar niche as C including desktop, OS, and embedded development, but at the same time making it harder to shoot yourself in the foot.

License(s)

Tag(s)

Mythrylpermalink

License Reference

Mythryl is an SML-derived language that aims to deftly combine C speed, Lisp power, and Ruby convenience with the critical new ingredients of Hindley-Milner typing, state of the art generics, and just the right level of side effects.

License(s)

Tag(s)

Nimpermalink

License Reference

Nim (formerly known as "Nimrod") is a statically typed, imperative programming language that tries to give the programmer ultimate power without compromises on runtime efficiency. It offers an infix/indentation based syntax with a powerful hygienic macro system, a semantic model that supports a soft realtime GC on thread local heaps, and an unsafe shared memory heap for increased efficiency.

License(s)

Tag(s)

picocpermalink

License Reference

PicoC is a very small C interpreter for scripting. It was originally written as a scripting language for a UAV's on-board flight system. It's also very suitable for other robotic, embedded, and non-embedded applications.

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)

Redpermalink

License References

Red is a homoiconic programming language strongly inspired by REBOL, with support for functional, imperative, and symbolic programming; prototype-based object support; low-level system programming; high-level scripting, including a REPL; and application embedded deployment.

License(s)

Tag(s)

Rustpermalink

License Reference

Rust is a systems programming language that runs blazingly fast, prevents segfaults, and guarantees thread safety.

License(s)

Tag(s)

sccpermalink

License Reference

Suckless C Compiler

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)

Squirrelpermalink

License Reference

Squirrel is a high level imperative, object-oriented programming language, designed to be a light-weight scripting language that fits in the size, memory bandwidth, and real-time requirements of applications like video games.

License(s)

Tag(s)

Steel Bank Common Lisppermalink

License Reference

Steel Bank Common Lisp (SBCL) is a high performance compiler and runtime system for ANSI Common Lisp. It provides an interactive environment including a debugger, a statistical profiler, a code coverage tool, and many other extensions.

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)

TenDRApermalink

License(s)

Tag(s)

Twelfpermalink

License Reference

Twelf is a language used to specify, implement, and prove properties of deductive systems such as programming languages and logics.

License(s)

Tag(s)

Utrecht Haskell Compilerpermalink

License Reference

UHC is the Utrecht Haskell Compiler. UHC supports almost all Haskell98 features plus experimental extensions.

License(s)

Tag(s)

Zigpermalink

License Reference

Zig is a system programming language that prioritizes optimality, safety, and readability.

License(s)

Tag(s)