Skip to content
View zlonast's full-sized avatar
😋
😋
24 followers · 247 following
  • 04:24 (UTC +03:00)

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@GrinTypes

Block or report zlonast

Report abuse

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

Report abuse
zlonast/README.md

I am obsessed with some ideas:

  • Transforming Haskell into a more flexible, typed and compact C++/TypeScript
  • Exporting Haskell to C or JS

About me

  • 🌱 I’m currently learning Linear logic and Linking headers
  • 📫 How to reach me: grintypes@gmail.com
  • ⚡ Fun fact: Solving formal problems led to linking tasks

Pinned Loading

  1. move-op-frostfs move-op-frostfs Public

    TLA

  2. haskell/cabal haskell/cabal Public

    Official upstream development repository for Cabal and cabal-install

    Haskell 1.7k 761

  3. zkFold/zkfold-cardano zkFold/zkfold-cardano Public

    zkFold: Cardano integration library

    Haskell 8 2

  4. zkfold-archived/zkfold-ethereum zkfold-archived/zkfold-ethereum Public archive

    Solidity 1