Skip to content
View onestruggler's full-sized avatar
2 followers · 9 following

Block or report onestruggler

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

Pinned Loading

  1. EucDomain EucDomain Public

    We give definition of Euclidean Domain (ED), and show Gaussian Integers form an ED.

    Agda

  2. Kalmar Kalmar Public

    Agda proof for the completeness of propositional logic using Kalmar's lemma.

    Agda

  3. root2 root2 Public

    We show root 2 is irrational using Agda.

    Agda

  4. quipper-qasm quipper-qasm Public

    Flaten Quipper ASCII format circuit into a list of gates

    Haskell 4 1

  5. stomp-code stomp-code Public

    Haskell implementation of the T-count optimization algorithm "stomp"

    Haskell 3 1

  6. fast-stomp fast-stomp Public

    input and output circuits of fast-stomp

    1