Skip to content
View ayaka14732's full-sized avatar
1.3k followers · 276 following

Sponsoring

@clansty

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: Galaxy BrainAchievement: Starstruckx3Achievement: QuickdrawAchievement: Public SponsorAchievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: Galaxy BrainAchievement: Starstruckx3Achievement: QuickdrawAchievement: Public SponsorAchievement: YOLOAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@nushu-script @nk2028 @CanCLID @StarCC0

Block or report ayaka14732

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Stars

8 stars written in Haskell
Clear filter

purescript / purescript

A strongly-typed language that compiles to JavaScript

Haskell 8,842 570 Updated Mar 24, 2026

kmonad / kmonad

An advanced keyboard manager

Haskell 4,938 337 Updated Mar 11, 2026

commercialhaskell / stack

The Haskell Tool Stack

Haskell 4,054 849 Updated Mar 18, 2026

yesodweb / yesod

A RESTful Haskell web framework built on WAI.

Haskell 2,707 380 Updated Mar 18, 2026

diku-dk / futhark

💥💻💥 A data-parallel functional programming language

Haskell 2,689 198 Updated Mar 29, 2026

google-research / dex-lang

Research language for array processing in the Haskell/ML family

Haskell 1,669 116 Updated Jan 5, 2026

Agda-zh / PLFA-zh

《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

Haskell 220 24 Updated Mar 26, 2026

GrammaticalFramework / gf-core

Grammatical Framework core: compiler, shell & runtimes

Haskell 154 42 Updated Feb 23, 2026