Block or report user

Report or block lastland

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@sjtu-outsight @cis552

Pinned repositories

  1. scala-forklift

    Type-safe data migration tool for Slick, Git and beyond.

    Scala 141 17

  2. QuickChick/QuickChick

    Randomized Property-Based Testing Plugin for Coq

    Coq 105 9

  3. Tricks-Museum

    a collection for interesting code tricks

    C 21 4

  4. DTScala

    Dependent Types in Scala

    Scala 1

  5. HaskellTheoremProver

    A theorem proving framework for intuitionistic and classical propositional logics in Haskell.

    Haskell 3

  6. antalsz/hs-to-coq

    Convert Haskell source code to Coq source code

    Coq 163 10

548 contributions in the last year

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

Contribution activity

July 2018

Created an issue in rems-project/sail that received 3 comments

why using `Int` in `riscv/prelude.sail`?

The riscv/prelude.sail file defines the bits data type as follow: type bits ('n : Int) = vector('n, dec, bit) What is the reason that Int is chose…

3 comments

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