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:
- Join the IRC channel (see community resources) and tell apotheon about the work. Make sure you provide both the address for whatever serves as an official homepage or source for the work, and the address for an authoritative source for the license terms of the project.
- Use the (temporary) measure of visiting the CopyfreeWorks repository, forking it, editing the datafile, and submitting a pull request. See the CopyfreeWorks README for more details on how to do this.
8ccpermalink
License Reference8cc is a compiler for the C programming language, intended to support all C11 language features while keeping the code as small and simple as possible.
License(s)
- MIT/X11 License
Tag(s)
Agdapermalink
License ReferenceAgda is a dependently typed functional programming language, and a proof assistant.
License(s)
- MIT/X11 License
Tag(s)
Alice MLpermalink
License ReferenceAlice ML is a functional programming language based on Standard ML, extended with rich support for concurrent, distributed, and constraint programming.
License(s)
- custom license
Tag(s)
Apricotpermalink
License ReferenceApricot 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)
- ISC License
Tag(s)
AsyncScriptpermalink
License ReferenceAsyncScript is an experimental language for asynchronous programming, based on actor model.
License(s)
- MIT/X11 License
Tag(s)
CakeMLpermalink
License ReferenceCakeML is a verified REPL interpreter implementation of a significant subset of Standard ML.
License(s)
- Simplified BSD License
Tag(s)
Capuchinpermalink
License ReferenceCapuchin is a JavaScript implementation for the Rubinius VM.
License(s)
- MIT/X11 License
Tag(s)
cconspermalink
License ReferenceThe goal of ccons is to provide an interactive console for the C programming language, similar to what irb is for Ruby.
License(s)
- MIT/X11 License
Tag(s)
ChakraCorepermalink
License ReferenceChakraCore is the core part of the Chakra JavaScript engine that powers Microsoft Edge.
License(s)
- MIT/X11 License
Tag(s)
Checked Cpermalink
License ReferenceChecked 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)
- MIT/X11 License
Tag(s)
CHICKENpermalink
License ReferenceLicense(s)
- Revised BSD License
Tag(s)
CINTpermalink
License ReferenceCINT is a C and C++ interpreter with built-in debugger and class browser.
License(s)
- variant HPND License
Tag(s)
Cleanpermalink
License ReferenceClean is a general purpose, state-of-the-art, pure, and lazy functional programming language designed for making real-world applications. Some of its most notable language features are uniqueness typing, dynamic typing, and generic functions.
License(s)
- Simplified BSD License
Tag(s)
Clingpermalink
License ReferenceCling is an interactive C++ interpreter, built on the top of LLVM and Clang libraries.
License(s)
- University of Illinois/NCSA Open Source License
Tag(s)
CMU Common Lisppermalink
License ReferenceCMUCL is a high-performance, free Common Lisp implementation that runs on most major Unix platforms.
License(s)
- Revised BSD License
Tag(s)
Cobrapermalink
License ReferenceCobra is an object oriented .NET/Mono based programming language with clean, high-level syntax, and support for both static and dynamic binding.
License(s)
- MIT/X11 License
Tag(s)
CoffeeScriptpermalink
License ReferenceCoffeeScript is a little language that compiles into JavaScript. Underneath that awkward Java-esque patina, JavaScript has always had a gorgeous heart. CoffeeScript is an attempt to expose the good parts of JavaScript in a simple way.
License(s)
- MIT/X11 License
Tag(s)
cprocpermalink
License ReferenceBuilt on QBE, cproc is a C11 compiler implements most of the language and is capable of building software including itself, mcpp, gcc 4.7, binutils, and more. It was inspired by several other small C compilers including 8cc, c, lacc, and scc.
License(s)
- ISC License
Tag(s)
Digital Mars Cpermalink
License ReferenceDMC, the Digital Mars Compiler, is a one-step program to compile and link C++, C and ASM files, previously known as "sc".
License(s)
- Boost License v1.0
Tag(s)
DMDpermalink
License ReferenceD 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)
- Boost License
Tag(s)
Duktapepermalink
License ReferenceDuktape is an embeddable JavaScript engine, easy to integrate into a C or C++ project, with a focus on portability and compact footprint.
License(s)
- MIT/X11 License
Tag(s)
eC [1] [2]permalink
License ReferenceThe eC project provides an expressive and intuitive, C style, reflective object-oriented programming language as a superset of C, with a modern module system with restricted access control that can be used instead alongside traditional header files, and an extensible type system. It comes with the Ecere SDK, for cross-platform GUI, 2D/3D graphics and network programming support, an IDE, and more.
License(s)
- Revised BSD License
Tag(s)
Epigrampermalink
License ReferenceEpigram is a dependently typed programming language and an interactive programming environment.
License(s)
- MIT/X11 License
Tag(s)
ez-schemepermalink
License ReferenceThis is a simple educational scheme interpreter that runs on ruby 1.9.* or rubinius. Source code is easy to read and understand.
License(s)
- public domain
Tag(s)
Factorpermalink
License ReferenceThe 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)
- Simplified BSD License
Tag(s)
Fancypermalink
License ReferenceFancy 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)
- Revised BSD License
Tag(s)
Faypermalink
License ReferenceFay 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)
- Revised BSD License
Tag(s)
Fubypermalink
License ReferenceFuby is a hybrid functional/object-oriented programming language with the same syntax as Ruby, although pretty different semantics in many aspects.
License(s)
- MIT/X11 License
Tag(s)
Gauchepermalink
License ReferenceGauche 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)
- Revised BSD License
Tag(s)
Glasgow Haskell Compilerpermalink
License ReferenceGHC is a state-of-the-art, open source compiler and interactive environment for the functional language Haskell.
License(s)
- Revised BSD License
Tag(s)
Gopermalink
License ReferenceGo is an open source programming language that makes it easy to build simple, reliable, and efficient software.
License(s)
- Revised BSD License
Tag(s)
Godot [1]permalink
License ReferenceGodot 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)
- MIT/X11 License
Tag(s)
GW-BASICpermalink
License ReferenceGW-BASIC is the old Microsoft implementation of the BASIC programming language interpreter for MS-DOS.
License(s)
- MIT/X11 License
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)
- custom license
Tag(s)
Huiapermalink
License ReferenceHuia is a whitespace-aware dynamic language with a simple object model based around traditional inheritance and closures.
License(s)
- MIT/X11 License
Tag(s)
Idrispermalink
License ReferenceIdris 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)
- Revised BSD License
Tag(s)
Idris LLVMpermalink
License ReferenceIdris LLVM is LLVM-based code generation for the Idris programming language.
License(s)
- Revised BSD License
Tag(s)
Iopermalink
License ReferenceIo is a dynamic prototype-based programming language focused on expressiveness through simplicity.
License(s)
- Revised BSD License
Tag(s)
Iokepermalink
License ReferenceIoke 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)
- MIT/X11 License
Tag(s)
Janetpermalink
License ReferenceJanet is a functional and imperative programming language and bytecode interpreter, that makes a good system scripting language, or a language to embed in other programs. It is a modern lisp, but lists are replaced by other data structures (arrays, tables (hash table), struct (immutable hash table), tuples). The language also supports bridging to native code written in C, meta-programming with macros, and bytecode assembly.
License(s)
- MIT/X11 License
Tag(s)
Jeeves [1]permalink
License ReferenceJeeves is a programming language for automatically enforcing privacy policies. We have implemented it as an embedded domain-specific language in Python.
License(s)
- MIT/X11 License
Tag(s)
Jeeves In Haskell [1]permalink
License ReferenceJeeves is a programming language for automatically enforcing privacy policies. This implementation was built in Haskell.
License(s)
- MIT/X11 License
Tag(s)
Jsipermalink
License ReferenceJsi 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)
- MIT/X11 License
Tag(s)
Juliapermalink
License ReferenceJulia 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)
- MIT/X11 License
Tag(s)
Kittenpermalink
License ReferenceKitten is a statically typed, stack-based functional programming language designed to be simple and fast. It is a concatenative language, combining aspects of imperative and pure functional programming.
License(s)
- MIT/X11 License
Tag(s)
laccpermalink
License ReferenceThe lcc project provides a small, self-hosting C compiler.
License(s)
- MIT/X11 License
Tag(s)
Lambrapermalink
License ReferenceLambra is an experiment to implement a functional, distributed Lisp on the Rubinius Virtual Machine, much à la Erlang.
License(s)
- MIT/X11 License
Tag(s)
Luapermalink
License ReferenceLua is a powerful, fast, lightweight, embeddable scripting language.
License(s)
- MIT/X11 License
Tag(s)
Lupinpermalink
License ReferenceLupin is an implementation of Lua for the Rubinius VM.
License(s)
- MIT/X11 License
Tag(s)
Mirandapermalink
License ReferenceMiranda is a pure, non-strict, polymorphic, higher order functional programming language. A simpler language than Haskell, it inspired some of the design of that language.
License(s)
- Simplified BSD License
Tag(s)
MLtonpermalink
License ReferenceMLton is an open-source, whole-program, optimizing Standard ML compiler.
License(s)
- Python Imaging Library License (modified)
Tag(s)
MoonScriptpermalink
License ReferenceMoonScript is a programmer friendly language that compiles to Lua.
License(s)
- MIT/X11 License
Tag(s)
mrubypermalink
License ReferenceRuby creator Matsumoto Yukihiro's mruby is the lightweight, embeddable implementation of the Ruby language complying with part of the ISO standard.
License(s)
- MIT/X11 License
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)
- MIT/X11 License
Tag(s)
Mythrylpermalink
License ReferenceMythryl 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)
- SML/NJ License
Tag(s)
Nekopermalink
License ReferenceNeko is a high-level dynamically typed programming language that can be used as an embedded scripting language. Its VM has been designed to provide a common runtime for several different languages.
License(s)
- MIT/X11 License
Tag(s)
Nicklepermalink
License ReferenceNickle is a programming language based prototyping environment with powerful programming and scripting capabilities. It supports a variety of datatypes, especially arbitrary precision numbers.
License(s)
- MIT/X11 License
Tag(s)
Nimpermalink
License ReferenceNim (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)
- MIT/X11 License
Tag(s)
Noscriptpermalink
License ReferenceNoscript is an object-oriented, prototype-based language inspired by JavaScript, CoffeeScript, Self, IO, and our beloved Ruby.
License(s)
- MIT/X11 License
Tag(s)
nwccpermalink
License ReferenceNils Weller's C Compiler, or "nwcc", is a simple C compiler for Unix systems targeting a variety of architectures.
License(s)
- Simplified BSD License
Tag(s)
OctaScriptpermalink
License ReferenceOctaScript 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)
- University of Illinois/NCSA Open Source License
Tag(s)
Onyxpermalink
License ReferenceOnyx 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)
- Simplified BSD License
Tag(s)
Papertpermalink
License ReferencePapert is a Logo implementation that runs in your browser.
License(s)
- MIT/X11 License
Tag(s)
pdkshpermalink
License ReferencePD-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)
- public domain + custom
Tag(s)
pForth [1]permalink
License References
Portable Forth, or pForth, is a public domain, portable ANS Forth based on a kernel written in ANSI C.
License(s)
- public domain
Tag(s)
Pharopermalink
License ReferencePharo 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)
- MIT/X11 License + Apache License 2.0
Tag(s)
picocpermalink
License ReferencePicoC 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)
- Revised BSD License
Tag(s)
Poisonpermalink
License ReferencePoison is an interpretation of Potion on the Rubinius language platform.
License(s)
- MIT/X11 License
Tag(s)
Ponypermalink
License ReferencePony is an open-source, object-oriented, actor-model, capabilities-secure, high performance programming language.
License(s)
- Simplified BSD License
Tag(s)
Portable C Compilerpermalink
License(s)
- BSD License
Tag(s)
Pure Datapermalink
License ReferencePure 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)
- Revised BSD License
Tag(s)
PureScriptpermalink
License ReferenceLicense(s)
- MIT/X11 License
Tag(s)
PyPypermalink
License ReferencePyPy is a fast, compliant alternative implementation of the Python language (2.7.10 and 3.2.5).
License(s)
- MIT/X11 License
Tag(s)
Quick Cpermalink
License ReferenceQuick C, written in Myrddin, is a C frontend for the QBE backend.
License(s)
- MIT/X11 License
Tag(s)
Racket [1]permalink
License ReferenceRacket is a programming language with similarities to the Scheme (Lisp) family and a past close relationship to it, which specializes in education (ex. SICP, etc), metaprogramming / language design, and creation of higher-level domain-specific languages.
License(s)
- MIT/X11 License + LGPL3
- MIT/X11 License + Apache License 2.0
Tag(s)
Rasppermalink
License ReferenceRasp is an implementation of VBScript running on the Rubinius VM. It is "untested, undocumented, and ill-advised".
License(s)
- MIT/X11 License
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)
- Revised BSD License + Boost Software License
Tag(s)
Reiapermalink
License ReferenceReia (pronounced RAY-uh) is a Ruby-like scripting language for the Erlang virtual machine (BEAM).
License(s)
- MIT/X11 License
Tag(s)
rock [1]permalink
License ReferenceThe rock compiler is the reference implementation of ooc, a small programming language with a clear and concise syntax that compiles to C99.
License(s)
- Simplified BSD License
Tag(s)
RSchemepermalink
License ReferenceRScheme 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)
- custom license
Tag(s)
Rubypermalink
License ReferenceRuby 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)
- Simplified BSD License
Tag(s)
Rustpermalink
License ReferenceRust is a systems programming language that runs blazingly fast, prevents segfaults, and guarantees thread safety.
License(s)
- MIT/X11 License
Tag(s)
Scalapermalink
License ReferenceScala is a JVM language with seamless Java interop, type inference, class-based OOP facilities, and functional features like higher-order functions.
License(s)
- Revised BSD License
Tag(s)
sccpermalink
License ReferenceSuckless C Compiler
License(s)
- ISC License
Tag(s)
Scheme 48permalink
License ReferenceScheme 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)
- BSD License
Tag(s)
SML/NJpermalink
License ReferenceStandard 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)
- SML/NJ License
Tag(s)
Sonic Pipermalink
License ReferenceSonic Pi is a music synthesis programming language, simple enough for computing and music lessons, but powerful enough for professional musicians.
License(s)
- MIT/X11 License
Tag(s)
Sprypermalink
License ReferenceSpry is a programming language primarily inspired by Smalltalk, Rebol, Lisp, JavaScript, Forth, and Nim.
License(s)
- MIT/X11 License
Tag(s)
Squeakpermalink
License ReferenceSqueak 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)
- MIT/X11 License
Tag(s)
Squirrelpermalink
License ReferenceSquirrel 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)
- MIT/X11 License
Tag(s)
Steel Bank Common Lisppermalink
License ReferenceSteel 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)
- public domain
Tag(s)
SubCpermalink
License ReferenceSubC 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)
- public domain
Tag(s)
Symepermalink
License ReferenceSyme is an implementation of Newspeak on the Rubinius VM. Newspeak is a programming language in the Smalltalk/Self tradition.
License(s)
- MIT/X11 License
Tag(s)
Tclpermalink
License ReferenceTcl (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)
- Tcl/Tk License
Tag(s)
TenDRApermalink
License(s)
- DERA Copyright License + OSF License + Revised BSD License
Tag(s)
TinyJSpermalink
License ReferenceTinyJS 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)
- MIT/X11 License
Tag(s)
TinySchemepermalink
License ReferenceTinyScheme 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)
- Revised BSD License
Tag(s)
Twelfpermalink
License ReferenceTwelf is a language used to specify, implement, and prove properties of deductive systems such as programming languages and logics.
License(s)
- Simplified BSD License
Tag(s)
Typhonpermalink
License ReferenceTyphon is twisted Python, a Python implementation for the Rubinius VM, "just for fun".
License(s)
- Revised BSD License
Tag(s)
Utrecht Haskell Compilerpermalink
License ReferenceUHC is the Utrecht Haskell Compiler. UHC supports almost all Haskell98 features plus experimental extensions.
License(s)
- Simplified BSD License
Tag(s)
V Programming Languagepermalink
License ReferenceThe V programming language is a simple, fast, safe, compiled language for developing maintainable software.
License(s)
- MIT/X11 License
Tag(s)
V8 [1]permalink
License ReferenceV8 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)
- Revised BSD License
Tag(s)
Wrenpermalink
License ReferenceWren is like Smalltalk in a Lua-sized package with a dash of Erlang and wrapped up in a familiar, modern syntax.
License(s)
- MIT/X11 License
Tag(s)
Yabasicpermalink
License References
Yabasic is a traditional BASIC interpreter that comes with goto and various loops, and allows you to define subroutines and libraries. It supports simple graphics and printing. Yabasic can call out to libraries written in C, and allows you to create standalone programs.
License(s)
- MIT/X11 License
Tag(s)
Yasmpermalink
License ReferenceYasm is a complete rewrite of the NASM assembler under the Revised BSD License.
License(s)
- Artistic License + Revised BSD License + Simplified BSD License
- GPL + Revised BSD License + Simplified BSD License
- LGPL + Revised BSD License + Simplified BSD License
Tag(s)
Ypsilon Schemepermalink
License ReferenceYpsilon 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)
- Revised BSD License
Tag(s)
Zigpermalink
License ReferenceZig is a system programming language that prioritizes optimality, safety, and readability.
License(s)
- MIT/X11 License