Skip to content
View abuseofnotation's full-sized avatar
Block or Report

Block or report abuseofnotation

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

Universal markup converter

Haskell 33,419 3,315 Updated Jul 28, 2024

A strongly-typed language that compiles to JavaScript

Haskell 8,514 563 Updated Jul 25, 2024

Agda is a dependently typed programming language / interactive theorem prover.

Haskell 2,427 338 Updated Jul 27, 2024

Haskell 101 and 102: slides and codelabs

Haskell 1,378 109 Updated Apr 10, 2023

Library for functional reactive programming in Haskell.

Haskell 522 71 Updated Jun 28, 2024

The Monad Transformer Library

Haskell 358 63 Updated Jul 25, 2024

Source material for Algebra-Driven Design

Haskell 132 12 Updated Nov 11, 2023

A dead simple networked key/value store

Haskell 115 11 Updated Sep 14, 2015

Example-based Haskell Documentation Engine

Haskell 59 3 Updated Jun 16, 2019

Incubator for my Haskell libraries

Haskell 20 2 Updated Feb 10, 2018