Skip to content
View bitonic's full-sized avatar
🍥
bottomless pit
🍥
bottomless pit

Organizations

@agda

Block or report bitonic

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

Universal markup converter

Haskell 43,346 3,811 Updated Apr 13, 2026

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Haskell 1,457 45 Updated Apr 10, 2026

Happy Haskell Hacking for editors. DEPRECATED

Haskell 670 176 Updated Jun 17, 2019

Compositional pipelines

Haskell 491 68 Updated Oct 15, 2022

Efficient Haskell Arrays featuring Parallel computation

Haskell 411 26 Updated Jul 8, 2025

Generate TypeScript definition files from your ADTs

Haskell 67 34 Updated Feb 24, 2026

Source for https://mazzo.li

Haskell 31 6 Updated Feb 12, 2026

NowHs because nobody wants server side javascript

Haskell 13 Updated Mar 31, 2013

Minimal ML language to to demonstrate the W type infererence algorithm

Haskell 11 2 Updated Mar 20, 2012

Native Haskell implementation of the BLAS library

Haskell 9 2 Updated Mar 22, 2026

Assorted Agda code.

Haskell 8 Updated Apr 16, 2013

GHC preprocessor to enable variable interpolation in strings

Haskell 8 2 Updated Aug 27, 2012

Short article about Haskell, python, and readability

Haskell 7 1 Updated Oct 28, 2012

type safe mapping between algebraic data types and bson documents.

Haskell 6 8 Updated Mar 5, 2017

Mid level Haskell bindings to KyotoCabinet

Haskell 4 3 Updated Feb 6, 2018

A clone of hacker news in happstack

Haskell 4 Updated Nov 11, 2011

A distributed, disconnected database for the relativistic universe

Haskell 3 Updated Jun 26, 2013

A general way to consume input using applicative functors

Haskell 3 Updated Feb 21, 2011

A minimalistic text-based status bar

Haskell 3 1 Updated Mar 27, 2011

Compiler for a really special language.

Haskell 2 1 Updated Jan 14, 2011

Parser/TypeChecker/Compiler for a simple flavour of ML.

Haskell 2 Updated Jan 5, 2012

Haskell templates, similar to Google Closure templates

Haskell 1 Updated Mar 20, 2012

GHC preprocessor to enable variable interpolation in strings

Haskell 1 Updated Nov 12, 2011

Haskell Web Application Interface

Haskell 1 Updated May 11, 2012