Skip to content

@fp-syd fp-syd

Change the repository type filter

All

    Repositories list

    4 repositories

    • meetings

      Public
      Meeting notes and talk slides
      Agda
      •12•3•0•0•Updated Sep 4, 2024Sep 4, 2024

    • admin

      Public
      Event administration
      0•0•0•0•Updated Jun 20, 2020Jun 20, 2020

    • slackin

      Public
      Public Slack organizations made easy
      JavaScript
      •
      MIT License
      •1.3k•0•0•0•Updated Mar 17, 2020Mar 17, 2020

    • logos

      Public
      Logos and media
      0•0•0•0•Updated Feb 2, 2020Feb 2, 2020