Block or report user

Report or block michaelsproul

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@iron @CakeML

Pinned repositories

  1. aus_senate

    Calculate a nation state's election result in your bedroom

    Rust 24 1

  2. seL4/l4v

    seL4 specification and proofs

    Isabelle 214 37

  3. dblib-linear

    Formalisation of the linear lambda calculus in Coq

    Coq 2

  4. sggc-2018

    Solidity Gas Golfing Contest 2018


  5. rust_radix_trie

    Fast generic radix trie implemented in Rust

    Rust 52 16

  6. rust-lang/rust

    A safe, concurrent, practical language.

    Rust 32.6k 5.4k

275 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri

Contribution activity

December 2018

Created a pull request in loonwerks/CASE that received 1 comment

TA7 report #2: update CakeML filter description

Ihor asked me to update the TA7 report for the most recent changes to the CakeML filter application. My Changes I deleted the following sentence: A…

+0 −0 1 comment

Seeing something unexpected? Take a look at the GitHub profile guide.