ghc-typelits-presburger

Presburger arithmetic solver for built-in type-level naturals

Downloads
9.7K
Stars
6
Committers
1
View Code on GitHub View on X
Ecosystems: Haskell

Commit Statistics

Past Year

All Time

Total Commits
202
Total Committers
2
Avg. Commits Per Committer
101.0
Bot Commits
0

Issue Statistics

Past Year

All Time

Total Pull Requests
3
20
Merged Pull Requests
3
18
Total Issues
0
9
Time to Close Issues
N/A
over 1 year
Package Rankings
Top 16.82% on Hackage.haskell.org
Badges
Extracted from project README
Build Status Hackage
Related Projects
koneko

koneko - a concatenative not-quite-lisp for kittens

18 Nov 2017 21
arith

Interpreter

14 Feb 2022 8
free-est

06 Mar 2017 5
fp-course

Functional Programming Course

30 Jun 2011 1,027
liquidhaskell

Liquid Types For Haskell

22 Sep 2012 1,156
mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.

21 Nov 2019 61
const-math-ghc-plugin

GHC plugin for constant math elimination

09 Oct 2012 14
tilec

Sometimes when I feel sad I implement a dependently typed lambda calculus.

27 Feb 2020 15
finito

A constraint solver for finite domains, written in Haskell.

13 Feb 2020 10
constraints

Tools for programming with ConstraintKinds in GHC

03 Nov 2011 71
unboxed

experimenting with unlifted classes via backpack

19 Feb 2021 36
effects

An implementation of "Freer Monads, More Extensible Effects".

09 Aug 2016 20
HaskSymb

An Experiment in Haskell Symbolic Algebra

07 May 2012 69
hs-to-coq

Convert Haskell source code to Coq source code.

03 Nov 2020 77
mixed-types-num

Alternative to Haskell Prelude.Num, deriving types bottom-up

06 Jul 2016 2