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
13 stars written in Haskell
Clear filter

Universal markup converter

Haskell 33,234 3,304 Updated Jul 10, 2024

A strongly-typed language that compiles to JavaScript

Haskell 8,499 562 Updated Jul 6, 2024

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Haskell 2,995 702 Updated Jul 10, 2024

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

Haskell 2,417 339 Updated Jul 10, 2024

Haskell 101 and 102: slides and codelabs

Haskell 1,377 109 Updated Apr 10, 2023

Library for functional reactive programming in Haskell.

Haskell 521 71 Updated Jun 28, 2024

The Monad Transformer Library

Haskell 359 63 Updated May 20, 2024

An ML-like functional programming language

Haskell 324 14 Updated Oct 17, 2021

Source material for Algebra-Driven Design

Haskell 132 12 Updated Nov 11, 2023

Algebraic type based schema system

Haskell 128 5 Updated Jan 30, 2020

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