Skip to content
View imzarax's full-sized avatar
4 followers · 503 following

Highlights

  • Pro

Block or report imzarax

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 is supported. This note will only be visible to 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

Starred repositories

6 stars written in Haskell
Clear filter

purescript / purescript

A strongly-typed language that compiles to JavaScript

Haskell 8,842 572 Updated Mar 24, 2026

elm / compiler

Compiler for Elm, a functional language for reliable webapps.

Haskell 7,761 679 Updated Apr 16, 2026

idris-lang / Idris-dev

A Dependently Typed Functional Programming Language

Haskell 3,468 631 Updated Feb 17, 2025

typelead / eta

The Eta Programming Language, a dialect of Haskell on the JVM

Haskell 2,625 142 Updated Jul 31, 2022

polux / lambda-diagrams

Animations of lambda term reduction sequences

Haskell 166 11 Updated May 30, 2018

leenamurgai / fp101x-haskell

Introduction to Functional Programming EdX course (Erik Meijer)

Haskell 1 3 Updated Sep 1, 2018

Starred topics

See all starred topics