Skip to content
View stellamplau's full-sized avatar
15 followers · 0 following
  • University of Cambridge
  • Cambridge, UK

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report stellamplau

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. zstd zstd Public

    Forked from facebook/zstd

    Zstandard - Fast real-time compression algorithm

    C 2 1

  2. categories categories Public

    Forked from copumpkin/categories

    Categories parametrized by morphism equality, in Agda

    Agda

  3. lz4 lz4 Public

    Forked from lz4/lz4

    Extremely Fast Compression algorithm

    C

  4. zlib zlib Public

    Forked from madler/zlib

    A massively spiffy yet delicately unobtrusive compression library.

    C

  5. folly folly Public

    Forked from facebook/folly

    An open-source C++ library developed and used at Facebook.

    C++

  6. acs-category-theory-notes-2017 acs-category-theory-notes-2017 Public

    Forked from technicalguy/acs-category-theory-notes-2017

    Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.

    TeX