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

Sponsors

@ztjhz

Sponsoring

@pyodide
@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,815 570 Updated Oct 18, 2025

kmonad / kmonad

An advanced keyboard manager

Haskell 4,841 331 Updated Nov 2, 2025

commercialhaskell / stack

The Haskell Tool Stack

Haskell 4,042 848 Updated Dec 18, 2025

yesodweb / yesod

A RESTful Haskell web framework built on WAI.

Haskell 2,701 376 Updated Nov 20, 2025

diku-dk / futhark

💥💻💥 A data-parallel functional programming language

Haskell 2,638 191 Updated Dec 19, 2025

google-research / dex-lang

Research language for array processing in the Haskell/ML family

Haskell 1,653 115 Updated Jan 25, 2025

Agda-zh / PLFA-zh

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

Haskell 218 24 Updated Dec 16, 2025

GrammaticalFramework / gf-core

Grammatical Framework core: compiler, shell & runtimes

Haskell 145 43 Updated Nov 13, 2025