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:

.NET Corepermalink

License Reference

.NET Core is a cross-platform, general purpose, modular, managed code software development framework, consisting of the open source Common Language Infrastructure, including both the CoreFX implementation of the Framework Class Library and the Common Language Runtime.

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)

Automated Testing Frameworkpermalink

License Reference

ATF, or Automated Testing Framework, is a collection of libraries to write test programs in C, C++, and POSIX shell.

License(s)

Tag(s)

Avianpermalink

License Reference

Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java’s features, suitable for building self-contained applications.

License(s)

Tag(s)

bdd-for-cpermalink

License Reference

The bdd-for-c project provides a BDD (behavior driven development) library for the C programming language.

License(s)

Tag(s)

Buckaroopermalink

License Reference

Buckaroo is a package manager for C++ using Buck as its build system and Git for dependency tracking.

License(s)

Tag(s)

Cpermalink

License Reference

With the C shell script, you can compile and execute C "scripts" in one go!

License(s)

Tag(s)

Cabalpermalink

License Reference

Cabal (Common Architecture for Building Applications and Libraries) is a system for building and packaging Haskell libraries and programs. It defines a common interface for package authors and distributors to easily build their applications in a portable way.

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)

Cellopermalink

License Reference

Cello is a library that brings higher level programming to C by acting as a modern, powerful runtime system, making things previously impractical or awkward in C easier.

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)

Chibi-Schemepermalink

License Reference

Chibi-Scheme is a very small library intended for use as an extension and scripting language in C programs. The default language is R7RS Scheme, with support for all libraries.

License(s)

Tag(s)

Clangpermalink

License(s)

Tag(s)

clib [1]permalink

License Reference

The clib toolset provides a package manager with package listing "registry" for the C programming language, also serving as a nice way to discover small utilities and libraries.

License(s)

Tag(s)

cloudlibcpermalink

License Reference

Nuxi CloudABI is an application binary interface for UNIX-like operating systems built around the concept of capability-based security, and cloudlibc is a standard C library built on top of CloudABI. It implements almost all features of the C11 standard, but also a large part of POSIX.1-2008.

License(s)

Tag(s)

CocoaPodspermalink

License Reference

CocoaPods is the dependency manager for Swift and Objective-C Cocoa projects; it manages dependencies for your Xcode projects. It has over ten thousand libraries and can help you scale your projects elegantly.

License(s)

Tag(s)

Cocotronpermalink

License Reference

License(s)

Tag(s)

Composerpermalink

License Reference

Composer is a dependency manager that helps you declare, manage and install dependencies of PHP projects, ensuring you have the right stack everywhere.

License(s)

Tag(s)

Conan.iopermalink

License Reference

Conan.io is a distributed, open source package manager.

License(s)

Tag(s)

CPMpermalink

License Reference

CPM is a package manager for C++ based on CMake and Git.

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)

Emscriptenpermalink

License Reference

License(s)

Tag(s)

Ficlpermalink

License Reference

Ficl is a programming language interpreter designed to be embedded into other systems as a command, macro, and development prototyping language. Ficl is an acronym for "Forth Inspired Command Language".

License(s)

Tag(s)

gpspermalink

License Reference

The Go Package Solver is an engine for tackling dependency management problems in Go. It is trivial -- about 35 lines of code -- to replicate the fetching bits of go get using gps.

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)

Hugspermalink

License Reference

Hugs 98 is a functional programming system based on Haskell 98, the de facto standard for non-strict functional programming languages. Hugs 98 provides an almost complete implementation of Haskell 98

License(s)

Tag(s)

Idris LLVMpermalink

License Reference

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

License(s)

Tag(s)

imguipermalink

License Reference

Immediate Mode Graphical User Interface, or imgui, is a bloat-free UI library for C++ with minimal dependencies.

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)

JasmineIopermalink

License Reference

Jasmine.Io is an Io Language port of the popular Behavior Driven Development testing framework for JavaScript with a similar name.

License(s)

Tag(s)

Kyuapermalink

License Reference

Kyua is a testing framework for infrastructure software, originally designed to equip BSD-based operating systems with a test suite. This means that Kyua is lightweight and simple, and that Kyua integrates well with various build systems and continuous integration frameworks.

License(s)

Tag(s)

libbsdpermalink

License Reference

The libbsd library provides useful (and often more secure) functions commonly found on BSD Unix systems, and lacking on others, making it easier to port projects with BSD Unix origins without needing to embed the same code. It includes code under a number of copyfree licenses, plus some function manpage documentation under (non-copyfree) 4-clause "Original" BSD License terms.

License(s)

Tag(s)

LLVMpermalink

License Reference

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)

mkshpermalink

License Reference

The MirBSD Korn Shell (mksh) is an actively developed free implementation of the Korn Shell programming language and a successor to the Public Domain Korn Shell (pdksh).

License(s)

Tag(s)

MLtonpermalink

License Reference

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

License(s)

Tag(s)

Monopermalink

License Reference

Mono is a software platform designed to allow developers to easily create cross platform applications. It is an open source implementation of Microsoft's .NET Framework based on the ECMA standards for C# and the Common Language Runtime.

License(s)

Tag(s)

Nuklearpermalink

License Reference

Nuklear is a minimal state graphical user interface single header toolkit written in ANSI C and licensed under public domain with no dependencies. Instead of providing a layered library that tries to abstract over a number of platform and render backends it only focuses on the actual UI.

License(s)

Tag(s)

Nuklear.nimpermalink

Nuklear.nim is a wrapper for the Nuklear GUI library in the Nim programming language.

License(s)

Tag(s)

okshpermalink

License Reference

Portable OpenBSD ksh, or oksh, is based on pdksh.

License(s)

Tag(s)

Opalpermalink

License Reference

Opal is a source-to-source Ruby to JavaScript compiler, with a corelib and runtime implementation.

License(s)

Tag(s)

OpenFPGApermalink

License Reference

License(s)

Tag(s)

Overtonepermalink

License Reference

Overtone is an open source, Clojure-based audio environment and toolkit designed to explore new musical ideas from synthesis and sampling to instrument building, live-coding, and collaborative jamming

License(s)

Tag(s)

Pegaruspermalink

License Reference

Pegarus is, broadly, an implementation of LPEG on Rubinius. LPEG implements a Parsing Expression Grammar using a parsing machine rather than the Packrat algorithm.

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)

Portable C Compilerpermalink

License(s)

Tag(s)

PowerShellpermalink

License Reference

PowerShell Core is a cross-platform (Windows, Linux, and macOS) automation and configuration tool/framework that works well with your existing tools and is optimized for dealing with structured data (e.g. JSON, CSV, XML, etc.), REST APIs, and object models. It includes a command-line shell, an associated scripting language and a framework for processing cmdlets.

License(s)

Tag(s)

Processing.jspermalink

License Reference

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)

Quicklisppermalink

License Reference

Quicklisp is a library manager for Common Lisp. It works with your existing Common Lisp implementation to download, install, and load any of over 1,200 libraries with a few simple commands.

License(s)

Tag(s)

RubyGemspermalink

License Reference

RubyGems.org is the Ruby community’s gem hosting service. Instantly publish your gems and install them. Use the API to interact and find out more information about available gems.

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)

scshpermalink

License Reference

Scsh is an open-source Unix shell embedded within Scheme, running on all major Unix platforms. It is a variant of Scheme 48 designed for writing real-life standalone Unix programs and shell scripts.

License(s)

Tag(s)

Sglibpermalink

License Reference

Sglib is a C library defining useful macros for manipulating common data structures.

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)

stbpermalink

The stb project provides a collection of single-file public domain libraries for C/C++.

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)

Ur/Webpermalink

License Reference

Ur/Web is the Ur statically typed functional programming language, plus a special standard library. It supports dynamic web applications backed by SQL databases. The standard library signature is such that well-typed Ur/Web programs "don't go wrong" in a very broad sense.

License(s)

Tag(s)

Zshpermalink

License Reference

Zsh is a shell designed for interactive use, although it is also a powerful scripting language. Many of the useful features of bash, ksh, and tcsh were incorporated into zsh; many original features were added.

License(s)

Tag(s)