Skip to content
View fsieczkowski's full-sized avatar

Organizations

@standardml

Block or report fsieczkowski

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. System-T System-T Public

    Formalisation of Goedel's System T in Coq

    Coq 15 2

  2. smbt smbt Public

    SMackage Build Tool

    Standard ML 8 4

  3. Refocusing Refocusing Public

    A formalisation of the refocusing transformation by Danvy et al. in Coq

    Coq 3 2

  4. ssml ssml Public

    Forked from gian/ssml

    Sub-standard ML

    Standard ML 3

  5. uri uri Public

    URI parsing, printing and quoting for SML

    Standard ML 2 1

  6. esml esml Public

    Experiments with ML-like languages

    Standard ML 2