Skip to content
View mmcqd's full-sized avatar
41 followers · 16 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Organizations

@semgrep

Block or report mmcqd

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. RedPRL/cooltt RedPRL/cooltt Public

    😎TT

    OCaml 218 16

  2. pure pure Public

    A pure type system implemented in OCaml

    OCaml 77 1

  3. datatt datatt Public

    A dependent type theory with user defined data types

    OCaml 45 1

  4. fibertt fibertt Public

    Record patches are cool

    OCaml 5

  5. RedPRL/algaett RedPRL/algaett Public

    🦠 An experimental elaborator for dependent type theory using effects and handlers

    OCaml 32

  6. RedPRL/asai RedPRL/asai Public

    🩺 A library for compiler diagnostics

    OCaml 35 2