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:

11lpermalink

License References

11l is a semi-esoteric high-level general-purpose programming language, which provides a simple and direct mapping to hardware and aims to follow a zero-overhead principle. 11l is statically typed, but feels very much like a dynamically typed language.

License(s)

Tag(s)

8ccpermalink

License Reference

8cc 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)

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)

AsyncScriptpermalink

License Reference

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

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)

cconspermalink

License Reference

The goal of ccons is to provide an interactive console for the C programming language, similar to what irb is for Ruby.

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)

CHICKENpermalink

License Reference

License(s)

Tag(s)

CINTpermalink

License Reference

CINT is a C and C++ interpreter with built-in debugger and class browser.

License(s)

Tag(s)

Cleanpermalink

License Reference

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

Tag(s)

Clingpermalink

License Reference

Cling is an interactive C++ interpreter, built on the top of LLVM and Clang 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)

CoffeeScriptpermalink

License Reference

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

Tag(s)

cprocpermalink

License Reference

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

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)

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)

eC [1] [2]permalink

License Reference

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

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)

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)

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)

Godot [1]permalink

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)

GW-BASICpermalink

License Reference

GW-BASIC is the old Microsoft implementation of the BASIC programming language interpreter for MS-DOS.

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)

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)

Kittenpermalink

License Reference

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

Tag(s)

laccpermalink

License Reference

The lcc project provides a small, self-hosting C compiler.

License(s)

Tag(s)

Mirandapermalink

License Reference

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

Tag(s)

MLtonpermalink

License Reference

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

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)

Nicklepermalink

License Reference

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

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)

nwccpermalink

License Reference

Nils Weller's C Compiler, or "nwcc", is a simple C compiler for Unix systems targeting a variety of architectures.

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)

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)

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)

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)

Portable C Compilerpermalink

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)

Quick Cpermalink

License Reference

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

License(s)

Tag(s)

Racket [1]permalink

License Reference

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

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)

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)

Rustpermalink

License Reference

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

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)

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)

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)

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)

Utrecht Haskell Compilerpermalink

License Reference

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

License(s)

Tag(s)

V Programming Languagepermalink

License Reference

The V programming language is a simple, fast, safe, compiled language for developing maintainable software.

License(s)

Tag(s)

Wenyan [1]permalink

License Reference

Wenyan, or 文言, is an esoteric programming language that closely follows the grammar and tone of classical Chinese literature. Moreover, the alphabet of wenyan contains only traditional Chinese characters and 「」 quotes, so it is guaranteed to be readable by ancient Chinese people.

License(s)

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)

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)