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: <[email protected]>.

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.