Skip to content
View alphaho's full-sized avatar
33 followers · 101 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report alphaho

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

Starred repositories

7 stars written in Haskell
Clear filter

idris-lang / Idris-dev

A Dependently Typed Functional Programming Language

Haskell 3,466 631 Updated Feb 17, 2025

jgm / gitit

A wiki using HAppS, pandoc, and git

Haskell 2,256 232 Updated Mar 1, 2026

yi-editor / yi

The Haskell-Scriptable Editor

Haskell 1,543 198 Updated Nov 1, 2024

hedgehogqa / haskell-hedgehog

Release with confidence, state-of-the-art property testing for Haskell.

Haskell 689 111 Updated Mar 25, 2026

lettier / movie-monad

📺 A free and simple to use video player made with Haskell.

Haskell 437 28 Updated Mar 7, 2020

owickstrom / komposition

The video editor built for screencasters

Haskell 430 22 Updated Apr 20, 2021

idris-hackers / idris-java

Java Code Generator for Idris

Haskell 72 7 Updated Feb 17, 2016

Starred topics