Skip to content
View BlastWind's full-sized avatar
👊
👊
45 followers · 26 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Organizations

@GDC-WM

Block or report BlastWind

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
BlastWind/README.md

Pinned Loading

  1. hearthstone-battlegrounds hearthstone-battlegrounds Public

    Replica of hearthstone's battlegrounds mode in the terminal.

    Haskell

  2. lambda-cube lambda-cube Public

    From untyped to dependently typed lambda calculus. Following *Type Theory and Formal Proof* by Geuvers and Nederpelt

    Haskell

  3. unfooling-blog-snippets unfooling-blog-snippets Public

    Code snippets for my blog posts at https://unfooling.com

    Python 1

  4. WM-SEMERU/ACER WM-SEMERU/ACER Public

    ACER is an AST-based Callgraph Generator Development Framework

    Python 28 5

  5. roadmapedia roadmapedia Public

    An edutech webapp (V3) to create, track, and share learning roadmaps

    JavaScript 7 2