functor.systems logo, a torus with three arrows pointing across. functor.systems logo, a torus with three arrows pointing across.

A homotopy-coherent collective of free software hackers. We are a proper subset of the MIT OpenCompute Laboratory (OCλ).
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.
functorOS functor.systems/functorOS A highly experimental NixOS based Linux distribution.

Members

User Affiliation Role
Youwen UCSB Math + CS '28. MIT OCλ. BDFL, Webmaster, chief NixOps engineer
Warren “Kaitotlex” SRVHS '26. MIT OCλ. EE hacker, delinquent, inventor
Ananth MIT Math w/ CS '28. MIT OCλ. Intrepid Haskellian, undergrad category theorist, associate NixOps engineer
Anthony MIT EECS '28. MIT OCλ. plays age of empires
Nicholas “nluo” Berkeley EECS '29. MIT OCλ. osu gamer, yuri enjoyer
Arvind “Quantalabs” MV '27. MIT OCλ. Avid mathematician, D1 FRC robotics programmer
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 code.functor.systems. Note that a login is required—please request an account through the contact information above if you don’t have one.

This site uses Simple Analytics, a privacy-respecting web analytics platform. We collect no personal identifiable information.