Skip to content
View zliu41's full-sized avatar
🍗
Fix(Succ(Fix(Succ(Fix(Succ(Fix(Succ(Fix(Succ(Fix(Succ(Fix(Succ(Fix(Succ(Fix(Succ
🍗
Fix(Succ(Fix(Succ(Fix(Succ(Fix(Succ(Fix(Succ(Fix(Succ(Fix(Succ(Fix(Succ(Fix(Succ
90 followers · 42 following

Achievements

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

Achievements

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

Organizations

@input-output-hk @kitty-hawk @con-kitty @cardanonix @cardano-scaling @IntersectMBO @midnightntwrk

Block or report zliu41

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. IntersectMBO/plutus IntersectMBO/plutus Public

    The Plutus language implementation and tools

    Haskell 1.6k 500

  2. con-kitty/categorifier con-kitty/categorifier Public

    Interpret Haskell programs into any cartesian closed category.

    Haskell 68 2

  3. con-kitty/categorifier-c con-kitty/categorifier-c Public

    Haskell to C compiler via Categorifier

    Haskell 39 3