$# This file is part of Vervis.
$#
$# Written in 2016, 2018, 2019 by fr33domlover <fr33domlover@riseup.net>.
$#
$# ♡ Copying is an act of love. Please copy, reuse and share.
$#
$# The author(s) have dedicated all copyright and related and neighboring
$# rights to this software to the public domain worldwide. This software is
$# distributed without any warranty.
$#
$# You should have received a copy of the CC0 Public Domain Dedication along
$# with this software. If not, see
$# <http://creativecommons.org/publicdomain/zero/1.0/>.

<p>
  Vervis is project hosting platform which is going to be decentralized.
  ActivityPub federation is being developed. There's still lots of work to do,
  on all features of the platform.

<p>
  Vervis is being used for its own development:
  <a href="https://dev.angeley.es/s/fr33domlover/p/vervis">
    Vervis project page

<p>
  Vervis is a <a href="https://peers.community">Peers community</a> project,
  and discussion is active in the
  <a href="https://kiwiirc.com/client/irc.freenode.net/#peers">#peers</a> IRC
  channel. You're very welcome to join! There's also a project named ForgeFed
  that aims to federate repo hosting websites, and it has a
  <a href="https://framalistes.org/sympa/info/git-federation">mailing list</a>
  you're very welcome to join! I'm there too.

<p>
  Vervis is a web application written in the Haskell programming language and
  the Yesod web framework. It's free as in freedom, under AGPLv3. It's being
  developed by fr33domlover, who can be found under this nickname on Freenode
  in the #peers channel.

<p>
  I sent a group registration request to Freenode, to register the #vervis
  channel. I'll update the details here once the process is complete :)

<p>
  Vervis currently supports Git and Darcs repositories.

<h2>Repos

<table>
  <tr>
    <th>Sharer
    <th>Project
    <th>Repo
    <th>VCS
    <th>Last change
  $forall (sharer, mproj, repo, vcs, ago) <- rows
    <tr>
      <td>
        <a href=@{SharerR sharer}>#{shr2text sharer}
      <td>
        $maybe proj <- mproj
          <a href=@{ProjectR sharer proj}>#{prj2text proj}
        $nothing
          (none)
      <td>
        <a href=@{RepoR sharer repo}>#{rp2text repo}
      <td>
        $case vcs
          $of VCSDarcs
            Darcs
          $of VCSGit
            Git
      <td>
        $maybe t <- ago
          #{t}
        $nothing
          Error

<h2>People

<p>
  See
  <a href=@{PeopleR}>people</a>.