Skip to content
View nanikamado's full-sized avatar
πŸ’€
πŸ’€
11 followers · 7 following

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: QuickdrawAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: QuickdrawAchievement: Pull Sharkx2

Block or report nanikamado

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

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated
Beta Lists are currently in beta. Share feedback and report bugs.

Stars

9 stars written in Haskell
Clear filter

HigherOrderCO / Kind

A modern proof language

Haskell 3,551 141 Updated Oct 19, 2024

koka-lang / koka

Koka language compiler and interpreter

Haskell 3,274 163 Updated Oct 6, 2024

diku-dk / futhark

πŸ’₯πŸ’»πŸ’₯ A data-parallel functional programming language

Haskell 2,398 165 Updated Oct 19, 2024

google-research / dex-lang

Research language for array processing in the Haskell/ML family

Haskell 1,580 107 Updated Oct 6, 2024

lierdakil / pandoc-crossref

Pandoc filter for cross-references

Haskell 941 76 Updated Oct 13, 2024

eashanhatti / peridot

A fast functional language based on two level type theory

Haskell 388 4 Updated Jan 6, 2023

tov / alms

The Alms Programming Language

Haskell 43 2 Updated Aug 29, 2018

darrenks / nibbles

A codegolf language for mortals

Haskell 29 Updated Jul 22, 2024

mitsuchi / mud

ε€šι‡γƒ‡γ‚£γ‚Ήγƒ‘γƒƒγƒγ‚’γƒ™γƒΌγ‚Ήγ¨γ™γ‚‹ι™ηš„εž‹δ»˜γ‘ι–’ζ•°εž‹γƒ—γƒ­γ‚°γƒ©γƒŸγƒ³γ‚°θ¨€θͺž

Haskell 24 1 Updated Sep 2, 2019