Skip to content
View palexand's full-sized avatar
💭
Looking for my turntable remote
💭
Looking for my turntable remote
43 followers · 2 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@armoredsoftware @ku-sldg

Block or report palexand

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. interpreters interpreters Public

    Experiments wring interpreters with Haskell.

    Haskell 7 2

  2. ku-sldg/verified-tpm12 ku-sldg/verified-tpm12 Public

    Githb repo for Verified TPM project

    HTML 4

  3. ku-sldg/am-cakeml ku-sldg/am-cakeml Public

    Delivery repo for the KU CakeML Attestation Manager

    Standard ML 1 1

  4. ku-sldg/cakeml-coq ku-sldg/cakeml-coq Public

    CakeML semantics in Coq

    Coq 1

  5. ku-sldg/copland-avm ku-sldg/copland-avm Public

    Copland Attestation Virtual Machine definition and tools

    Coq 3 3