Iavor S. Diatchki

Results 8 repositories owned by Iavor S. Diatchki

dump-core

43
Stars
9
Forks
Watchers

verified publisher icon yav

graphmod

176
Stars
30
Forks
Watchers

A utility for displaying the module dependencies of Haskell programs.

verified publisher icon yav

monadlib

29
Stars
5
Forks
Watchers

A monad transformer library for Haskell

verified publisher icon yav

presburger

29
Stars
8
Forks
Watchers

Decision procedures for Presburger arithmetic in Haskell

verified publisher icon yav

pretty-show

56
Stars
15
Forks
Watchers

Tools for working with derived Show instances in Haskell.

verified publisher icon yav

simple-smt

20
Stars
20
Forks
Watchers

verified publisher icon yav

type-nat-solver

49
Stars
5
Forks
Watchers

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

verified publisher icon yav

haskell-lexer

15
Stars
6
Forks
Watchers

A fully compliant Haskell 98 lexer.

verified publisher icon yav