Skip to content
View adamgundry's full-sized avatar
103 followers · 0 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx4

Achievements

Achievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx4

Organizations

@haskell @well-typed

Block or report adamgundry

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

Stars

Showing results

dmcclean / exact-pi

Exact rational multiples of pi (and integer powers of pi) in Haskell

Haskell 3 7 Updated Oct 7, 2025

joelburget / pigment

Programming Language meets UI

JavaScript 51 7 Updated Oct 4, 2017

RafaelBocquet / haskell-extraction

TODO

OCaml 2 Updated Jul 18, 2017

bjornbm / dimensional

Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).

Haskell 115 20 Updated Jan 1, 2026

clash-lang / ghc-typelits-natnormalise

Normalise GHC.TypeLits.Nat equations

Haskell 44 17 Updated Mar 19, 2026

zerobuzz / configifier

parser for config files, shell variables, command line args.

Haskell 22 6 Updated Jun 30, 2016

bitonic / tog

Haskell 26 4 Updated Feb 7, 2017

yav / type-nat-solver

A plugin for solving numeric constraints in GHC's type-checker

Haskell 51 5 Updated Apr 22, 2021

adamgundry / inch

A type-checker for Haskell with integer constraints

Haskell 42 2 Updated Feb 21, 2015

yav / tc-solver

Haskell 4 1 Updated Apr 23, 2012

yav / presburger

Decision procedures for Presburger arithmetic in Haskell

Haskell 30 10 Updated Mar 29, 2025