The Lycus Foundation

Welcome to the Lycus Foundation. We are a non-profit organization centered around the development and maintenance of open source developer tools such as compilers, virtual machines, analysis tools, and programming language specifications.

The Lycus Foundation was created in August of 2011. The idea was to have a single organization to manage a number of projects relating to developer tooling (originally a virtual machine project and a programming language specification and its compiler implementation). This umbrella organization would take care of build server and service management, monetary matters, project coordination, release engineering, etc.

Today, the foundation hosts several supporting library projects, virtual machine projects, and compiler projects. In addition, it provides porting machines for various architectures and operating systems, a large and comprehensive build server fleet, release packaging, etc

The foundation is completely open and community-oriented. We encourage everyone to take part in discussions on the IRC channels, mailing lists, and various forums. Further, all of the source code of the foundation's projects is on GitHub where anyone can fork and contribute by sending patches via pull requests.

Documentation on our development processes can be found on our wiki on GitHub.

Satori (Docs)

Satori consists of two things: A library providing a unified interface for controlling Epiphany accelerator cores (whether simulated or silicon) and tools that provide command line interfaces to this functionality.

ParaVM (Docs)

ParaVM is a virtual machine written specifically for the Epiphany processor architecture. It executes code in an isolated fashion, similar to Erlang, on the accelerator cores available in the system it is used on. It is mainly intended to be used on the Parallella board made by Adapteva, and other similar boards.

Flect (Docs, API)

Flect is a functional systems programming language. It pragmatically combines features such as algebraic data types, pattern matching, first-class function values, traits, generics, macros, and high type safety with (optional) low-level control over memory, direct interfacing to C and C++, bare metal compilation support, and other similar features.

ExMake (Docs)

ExMake is simple, scriptable, dependency-based build tool loosely based on the principles behind the POSIX Make tool. It is intended to be a full replacement for Make with easier and more powerful scripting, and significantly improved performance over traditional Make-like tools.

ExoCore (Docs)

ExoCore is an operating system kernel written in Clang-flavored C11. It is a so-called exokernel; it only provides the bare minimum of abstraction around the hardware (such as memory management, I/O operations, scheduling, etc). It is primarily intended to be a reference project for learning purposes.


DAREPL (D Architecture REPL) is an interactive REPL for CPU architectures. It lets you type instructions into a prompt and view the resulting mutations to machine state. It's generally meant as a development aid for compiler writers and reverse engineers.

MCI (Docs, API)

The MCI (Managed Compiler Infrastructure) is a modern and intuitive compiler infrastructure written in the D programming language. It provides a simple, extensible API specialized for modern-day programming language designs. It is primarily intended for so-called "managed" languages, which usually run in a virtual machine and typically use a garbage collector for memory management.


Binding to the libffi library for the D programming language.


Binding to the libgc library for the D programming language.

Nothing has been published yet.

Adam Wilson
Alex Rønne Petersen
Site / Email
Kelly Wilson
Lee Harrison
Thomas Jost
Tony Young
Site / Email