Skip to content
View DavyLin's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.
33 followers · 193 following

Block or report DavyLin

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

Stars

4 stars written in Haskell
Clear filter

purescript / purescript

A strongly-typed language that compiles to JavaScript

Haskell 8,617 565 Updated Sep 29, 2024

idris-lang / Idris-dev

A Dependently Typed Functional Programming Language

Haskell 3,439 645 Updated Aug 2, 2024

krispo / awesome-haskell

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Haskell 3,120 172 Updated Apr 13, 2023

huangzworks / real-world-haskell-cn

《Real World Haskell》中文翻译项目

Haskell 1,561 229 Updated Feb 14, 2022