Skip to content
View lilyanatia's full-sized avatar
24 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report lilyanatia

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 results for source starred repositories written in Haskell
Clear filter

ghcjs / ghcjs

Haskell to JavaScript compiler, based on GHC

Haskell 2,620 186 Updated Jan 21, 2023

GaloisInc / cryptol

Cryptol: The Language of Cryptography

Haskell 1,191 129 Updated Dec 17, 2025

evincarofautumn / kitten

A statically typed concatenative systems programming language.

Haskell 1,149 42 Updated Apr 10, 2023

standardsemiconductor / lion

Where Lions Roam: RISC-V on the VELDT

Haskell 264 16 Updated Dec 15, 2025

UU-ComputerScience / uhc

Haskell 138 22 Updated Aug 18, 2021

HackerFoo / peg

A lazy non-deterministic concatenative programming language

Haskell 55 3 Updated Aug 3, 2013

koalaman / pack

Haskell implementation of gzip-compatible `pack` compression from the early 1980s

Haskell 39 Updated Oct 22, 2017

hamilyon / himgb

Haskell image board

Haskell 3 Updated Mar 18, 2013