Skip to content
View notch1p's full-sized avatar
14 followers · 48 following

Organizations

@scnu-socoding

Block or report notch1p

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

8 stars written in Haskell
Clear filter

jgm / pandoc

Universal markup converter

Haskell 43,415 3,811 Updated Apr 15, 2026

koalaman / shellcheck

ShellCheck, a static analysis tool for shell scripts

Haskell 39,276 1,908 Updated Apr 4, 2026

jaspervdj / hakyll

A static website compiler library in Haskell

Haskell 2,878 425 Updated Apr 7, 2026

AndrasKovacs / elaboration-zoo

Minimal implementations for dependent type checking and elaboration

Haskell 784 48 Updated Jan 30, 2026

sweirich / pi-forall

A demo implementation of a simple dependently-typed language

Haskell 621 98 Updated Nov 18, 2024

haskell-webdriver / haskell-webdriver

A Haskell client for the Selenium WebDriver protocol.

Haskell 202 73 Updated Jan 12, 2026

haskell / HieDb

Generates a references DB from .hie files

Haskell 68 30 Updated Jan 21, 2026

Trebor-Huang / elab-reloaded

A modern, principled toy implementation of dependent type theory

Haskell 12 1 Updated Mar 5, 2026

Starred topics