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)

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)

Apricotpermalink

License Reference

Apricot is a programming language inspired by Clojure and Lisp that runs on the Rubinius VM. Apricot code is compiled to Rubinius bytecode which allows it to call Ruby functions directly (and vice versa).

License(s)

Tag(s)

AsyncScriptpermalink

License Reference

AsyncScript is an experimental language for asynchronous programming, based on actor model.

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)

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)

Capuchinpermalink

License Reference

Capuchin is a JavaScript implementation for the Rubinius VM.

License(s)

Tag(s)

ChakraCorepermalink

License Reference

ChakraCore is the core part of the Chakra JavaScript engine that powers Microsoft Edge.

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)

CHICKENpermalink

License Reference

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)

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)

Cobrapermalink

License Reference

Cobra is an object oriented .NET/Mono based programming language with clean, high-level syntax, and support for both static and dynamic binding.

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)

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)

Duktapepermalink

License Reference

Duktape is an embeddable JavaScript engine, easy to integrate into a C or C++ project, with a focus on portability and compact footprint.

License(s)

Tag(s)

Emscriptenpermalink

License Reference

License(s)

Tag(s)

Epigrampermalink

License Reference

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

License(s)

Tag(s)

ez-schemepermalink

License Reference

This is a simple educational scheme interpreter that runs on ruby 1.9.* or rubinius. Source code is easy to read and understand.

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)

Fancypermalink

License Reference

Fancy is a self-hosted general-purpose programming language inspired by Smalltalk, Ruby, Io and Erlang that runs on the Rubinius VM. It has first-class integration support with Ruby and any Ruby libraries supported by Rubinius, including most C-extensions. Fancy is a dynamic, pure object-oriented, class-based programming language with built-in support for futures and actors.

License(s)

Tag(s)

Faypermalink

License Reference

Fay is a proper subset of Haskell that compiles to JavaScript, with fundamental datatypes based on what JavaScript can support, a foreign function interface to JavaScript, and support for calling Fay from JavaScript.

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)

Fubypermalink

License Reference

Fuby is a hybrid functional/object-oriented programming language with the same syntax as Ruby, although pretty different semantics in many aspects.

License(s)

Tag(s)

Gauchepermalink

License Reference

Gauche is an R7RS Scheme implementation developed to be a handy script interpreter, which allows programmers and system administrators to write small to large scripts for their daily chores. Quick startup, built-in system interface, and native multilingual support are some of its goals.

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)

Godotpermalink

License Reference

Godot is a fully featured, open source, copyfree licensed game engine. It focuses on having great tools and a visual oriented workflow that can export to PC, Mobile, and Web platforms with no hassle. The editor, language, and APIs are feature rich, yet simple to learn, allowing you to become productive in a matter of hours.

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)

Huiapermalink

License Reference

Huia is a whitespace-aware dynamic language with a simple object model based around traditional inheritance and closures.

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)

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)

Iopermalink

License Reference

Io is a dynamic prototype-based programming language focused on expressiveness through simplicity.

License(s)

Tag(s)

Iokepermalink

License Reference

Ioke is a folding language. It allows you to write highly expressive code that writes code. Ioke allows you to create abstractions at any level, and expressiveness is the ultimate goal of the language.

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)

Jeeves [1]permalink

License Reference

Jeeves is a programming language for automatically enforcing privacy policies. We have implemented it as an embedded domain-specific language in Python.

License(s)

Tag(s)

Jeeves In Haskell [1]permalink

License Reference

Jeeves is a programming language for automatically enforcing privacy policies. This implementation was built in Haskell.

License(s)

Tag(s)

Jsipermalink

License Reference

Jsi is a javascript interpreter with file/OS support and extensions for WebSocket, Sqlite, MySql, and more; sub-interpreter and introspection facilities; a web framework; and a debugger (command-line and Web-GUI). It also supports types and defaults.

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)

Lambrapermalink

License Reference

Lambra is an experiment to implement a functional, distributed Lisp on the Rubinius Virtual Machine, much à la Erlang.

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)

Luapermalink

License Reference

Lua is a powerful, fast, lightweight, embeddable scripting language.

License(s)

Tag(s)

Lupinpermalink

License Reference

Lupin is an implementation of Lua for the Rubinius VM.

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)

MoonScriptpermalink

License Reference

MoonScript is a programmer friendly language that compiles to Lua.

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)

Noscriptpermalink

License Reference

Noscript is an object-oriented, prototype-based language inspired by JavaScript, CoffeeScript, Self, IO, and our beloved Ruby.

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)

OctaScriptpermalink

License Reference

OctaScript is a LuaJIT bytecode-compiled language with support across a wide selection of editors, created for OctaForge scripting but usable as a stand-alone language as well.

License(s)

Tag(s)

okshpermalink

License Reference

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

License(s)

Tag(s)

Onyxpermalink

License Reference

Onyx is a powerful stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript. It can be embedded as an extension language similarly to ficl (Forth), guile (scheme), librep (lisp dialect), s-lang, Lua, and Tcl.

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)

Papertpermalink

License Reference

Papert is a Logo implementation that runs in your browser.

License(s)

Tag(s)

pdkshpermalink

License Reference

PD-ksh is a clone of the AT&T Korn shell. At the moment, it has most of the ksh88 features, not much of the ksh93 features, and a number of its own features.

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)

Pharopermalink

License Reference

Pharo is a pure object-oriented programming language and a powerful environment, focused on simplicity and immediate feedback (think IDE and OS rolled into one).

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)

Poisonpermalink

License Reference

Poison is an interpretation of Potion on the Rubinius language platform.

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)

Processing.jspermalink

License Reference

License(s)

Tag(s)

Pure Datapermalink

License Reference

Pure Data (aka Pd) is an open source visual programming language. Pd was created to further the Max paradigm by extending data processing to applications other than audio and MIDI, such as real-time video and web interaction.

License(s)

Tag(s)

PureScriptpermalink

License Reference

License(s)

Tag(s)

PyPypermalink

License Reference

PyPy is a fast, compliant alternative implementation of the Python language (2.7.10 and 3.2.5).

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)

Rasppermalink

License Reference

Rasp is an implementation of VBScript running on the Rubinius VM. It is "untested, undocumented, and ill-advised".

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)

Reiapermalink

License Reference

Reia (pronounced RAY-uh) is a Ruby-like scripting language for the Erlang virtual machine (BEAM).

License(s)

Tag(s)

rock [1]permalink

License Reference

The rock compiler is the reference implementation of ooc, a small programming language with a clear and concise syntax that compiles to C99.

License(s)

Tag(s)

RSchemepermalink

License Reference

RScheme is an object-oriented, extended version of the Scheme dialect of Lisp that compiles to C, or to bytecode for virtual machine execution.

License(s)

Tag(s)

Rubypermalink

License Reference

Ruby is a dynamic, open source programming language with a focus on software simplicity and developer productivity. It has an elegant syntax that is natural to read and easy to write.

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)

Rustpermalink

License Reference

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

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)

sccpermalink

License Reference

Suckless C Compiler

License(s)

Tag(s)

Scheme 48permalink

License Reference

Scheme 48 is a bytecode interpreted implementation of R5RS designed to be used as a testbed for experiments in implementation techniques and as an expository tool.

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)

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)

Sonic Pipermalink

License Reference

Sonic Pi is a music synthesis programming language, simple enough for computing and music lessons, but powerful enough for professional musicians.

License(s)

Tag(s)

Sprypermalink

License Reference

Spry is a programming language primarily inspired by Smalltalk, Rebol, Lisp, JavaScript, Forth, and Nim.

License(s)

Tag(s)

Squeakpermalink

License Reference

Squeak is an open-source Smalltalk programming system with fast execution environments for all major platforms. It features the Morphic framework, which promotes low effort graphical, interactive application development and maintenance.

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)

stbpermalink

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

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)

Symepermalink

License Reference

Syme is an implementation of Newspeak on the Rubinius VM. Newspeak is a programming language in the Smalltalk/Self tradition.

License(s)

Tag(s)

Tclpermalink

License Reference

Tcl (Tool Command Language) is a very powerful but easy to learn dynamic programming language, suitable for a very wide range of uses, including web and desktop applications, networking, administration, testing and many more.

License(s)

Tag(s)

TenDRApermalink

License(s)

Tag(s)

TinyJSpermalink

License Reference

TinyJS aims to be an extremely simple (~2000 line) JavaScript interpreter, meant for inclusion in applications that require a simple, familiar script language that can be included with no dependencies other than normal C++ libraries.

License(s)

Tag(s)

TinySchemepermalink

License Reference

TinyScheme is a lightweight Scheme interpreter that implements as large a subset of R5RS as was possible without getting very large and complicated. It is meant to be used as an embedded scripting interpreter for other programs. A lot of functionality in TinyScheme is included conditionally, to allow developers freedom in balancing features and footprint.

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)

Typhonpermalink

License Reference

Typhon is twisted Python, a Python implementation for the Rubinius VM, "just for fun".

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)

V8 [1]permalink

License Reference

V8 is a JavaScript engine originally released with the Chromium browser, but it has since been widely used as a stand-alone JavaScript implementation.

License(s)

Tag(s)

Wrenpermalink

License Reference

Wren is like Smalltalk in a Lua-sized package with a dash of Erlang and wrapped up in a familiar, modern syntax.

License(s)

Tag(s)

Yasmpermalink

License Reference

Yasm is a complete rewrite of the NASM assembler under the Revised BSD License.

License(s)

Tag(s)

Ypsilon Schemepermalink

License Reference

Ypsilon is the implementation of Scheme Programming Language, which conforms to the latest standard R6RS* established in September 2007. Ypsilon achieves a remarkably short GC pause time and the best performance in parallel execution as it implements "mostly concurrent garbage collection", which is optimized for the multi-core CPU system.

License(s)

Tag(s)

Zigpermalink

License Reference

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

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)