# functor.systems >> Home
a homotopy-coherent free software collective.
Author: Youwen Wu <youwen@functor.systems>

# functor.systems

A homotopy-coherent collective of free software hackers.
functor.systems maintains vital digital infrastructure for its community of hackers.
We operate the following.

Service | URL | Status
--- | --- | ---
Matrix homeserver | matrix.functor.systems | Operational
Git forge | code.functor.systems | Operational
The Commutative Webring | ring.functor.systems | Coming soon
Attic, a Nix binary cache | cache.functor.systems | Tentatively coming
Hydra, Nix continuous integration | hydra.functor.systems | Tentatively coming
Grafana, resource monitoring | status.functor.systems | Coming soon

We also provide `*.functor.systems` subdomains to our members. If you’d like a `functor.systems` subdomain, please see the contact information below.
Most of our infra is hosted on various homelabs operated by members, running NixOS 25.05 (Warbler). See status.functor.systems for status and vitals (coming soon).
functor.systems is a project incubator for its members.
Following Theorem 1, we provide digital infrastructure for members’ projects as well as technical and community support. Additionally, the organization is suitable for hosting communal projects that make more sense managed and maintained collectively than in a personal account.

## Projects

The following are maintained under the auspices of functor.systems.

Name | URL | Description
--- | --- | ---
eeXiv | eexiv.functor.systems | A research repository for FIRST Robotics Competition related documents, inspired by the arXiv.

## Members

User | Website | Role
--- | --- | ---
Youwen | web.youwen.dev | Webmaster, Benevolent Dictator
Warren “Kaitotlex” | kaitotlex.systems | EE hacker, delinquent, founding member
Ananth | mit.edu/~ananthv/www | Intrepid Haskellian, undergrad category theorist, founding member
Nicholas “nluo” | github.com/Nluo923 | osu gamer, yuri enjoyer, founding member
Arvind “Quantalabs” | rvind.dev | Avid mathematician, D1 FRC robotics programmer, founding member

There are no membership dues—rather, members are encouraged to donate infrastructure and time as available.

## Contact and join

It is sufficient but not necessary to be a member of functor.systems to use our infrastructure. That is, all functor.systems members can freely use or request infrastructure, and in addition friends and other non-members may be given access upon request.

If you’d like to request access to any infrastructure—or a membership—please contact the webmaster: `<youwen@functor.systems>`.

In general, any friends of existing members or anyone with a reasonable interest in our projects will be granted membership and/or infra access upon request.

## Miscellaneous

Suggest an edit to this page on GitHub.