Skip to content
View david-davies's full-sized avatar
5 followers · 5 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report david-davies

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 Loading

  1. typst-prooftree typst-prooftree Public archive

    DEPRECATED - use https://github.com/pauladam94/curryst instead.

    Typst 7 1

  2. david-davies.github.io david-davies.github.io Public

    HTML

  3. typst-packages-prooftrees typst-packages-prooftrees Public

    Forked from typst/packages

    Packages for Typst.

    Rust

  4. gigaparsec gigaparsec Public

    Forked from j-mie6/gigaparsec

    Refreshed parsec-style library for compatibility with Scala parsley

    Haskell

  5. reference-threads reference-threads Public

    Forked from j-mie6/reference-threads

    A more fine-grained version of state threads (`ST`)

    Haskell

  6. flatparse flatparse Public

    Forked from AndrasKovacs/flatparse

    Fast parsing from bytestrings

    Haskell