Iavor S. Diatchki's starred repositories

graphmod

A utility for displaying the module dependencies of Haskell programs.

Language:HaskellLicense:NOASSERTIONStargazers:177Issues:10Issues:28

HollingBerries

A fictional scenario implemented in multiple languages in order to compare language paradigms.

Language:C#Stargazers:69Issues:9Issues:0

pretty-show

Tools for working with derived Show instances in Haskell.

Language:HaskellLicense:MITStargazers:56Issues:7Issues:33

utf8-string

Support for reading and writing UTF8 Strings in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:45Issues:10Issues:13

monadlib

A monad transformer library for Haskell

Language:HaskellLicense:MITStargazers:29Issues:4Issues:5

presburger

Decision procedures for Presburger arithmetic in Haskell

Language:HaskellLicense:MITStargazers:29Issues:5Issues:4

llvm-pretty

An llvm pretty printer inspired by the haskell llvm binding

Language:HaskellLicense:NOASSERTIONStargazers:26Issues:11Issues:53

HsOpenSSL

OpenSSL binding for Haskell

Language:HaskellLicense:CC0-1.0Stargazers:19Issues:2Issues:29

haskell-lexer

A fully compliant Haskell 98 lexer.

Language:HaskellLicense:MITStargazers:15Issues:5Issues:6

haskell-zipper

A Haskell datastructure for working with locations in trees or forests.

Language:HaskellLicense:MITStargazers:14Issues:4Issues:1

url

A URL package for Haskell

Language:HaskellLicense:MITStargazers:13Issues:4Issues:6

smtLib

Haskell datatypes for generating SMTLIB files.

Language:HaskellLicense:MITStargazers:11Issues:3Issues:2

minecraft-proxy

Minecraft protocol proxy

Language:HaskellLicense:BSD-3-ClauseStargazers:9Issues:4Issues:0

hobbit

The old hobbit compiler

Language:HaskellStargazers:6Issues:0Issues:0

hp2html

View GHC profile files as HTML

Language:JavaScriptLicense:MITStargazers:6Issues:0Issues:0

value-supply

A Haskell library for generating new names without threading state.

Language:HaskellLicense:MITStargazers:6Issues:0Issues:0

alsa-haskell

Haskell bindings to the ALSA libray

Language:HaskellLicense:MITStargazers:5Issues:4Issues:0

elf

Haskell library for parsing ELF object files

Language:HaskellLicense:NOASSERTIONStargazers:5Issues:3Issues:0

clutter

Haskell bindings to the clutter library

Language:HaskellStargazers:4Issues:0Issues:0

hm-types

Tools for constructing "Hindley-Milner + qualified types + kinds" based type systems.

Language:HaskellStargazers:4Issues:0Issues:0

sbv

Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.

Language:HaskellLicense:NOASSERTIONStargazers:4Issues:3Issues:0
Language:HaskellStargazers:4Issues:0Issues:0

sprites

Haskell Sprite Library

Language:HaskellStargazers:3Issues:0Issues:0

memory-arrays

An example of using type-level naturals for safe array manipulation.

Language:HaskellStargazers:3Issues:0Issues:0

parsimony

Haskell parser combinators derived from Parsec

Language:HaskellLicense:NOASSERTIONStargazers:3Issues:0Issues:0

colorize-haskell

Highligt Haskell source

Language:HaskellLicense:NOASSERTIONStargazers:2Issues:3Issues:1

clutter

Haskell bindings to the clutter library

Language:HaskellStargazers:1Issues:0Issues:0

HollingBerries

A fictional scenario implemented in multiple languages in order to compare language paradigms.

Language:ErlangStargazers:1Issues:0Issues:0

llvm-pretty

An llvm pretty printer inspired by the haskell llvm binding

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:0Issues:0

sprites

Haskell Sprite Library

Language:HaskellStargazers:1Issues:0Issues:0