Beast code in Giters

Iavor S. Diatchki's repositories

graphmod

A utility for displaying the module dependencies of Haskell programs.

Language:HaskellNOASSERTION177 10 28

pretty-show

Tools for working with derived Show instances in Haskell.

Language:HaskellMIT56 7 33

type-nat-solver

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

Language:HaskellNOASSERTION50 11 7

dump-core

Language:HaskellISC44 5 6

monadlib

A monad transformer library for Haskell

Language:HaskellMIT29 4 5

presburger

Decision procedures for Presburger arithmetic in Haskell

Language:HaskellMIT29 5 4

simple-smt

Language:HaskellBSD-3-Clause20 6 9

haskell-lexer

A fully compliant Haskell 98 lexer.

Language:HaskellMIT15 5 6

url

A URL package for Haskell

Language:HaskellMIT13 4 6

games

Language:Haskell4 20

MageKnight

Language:Haskell4 3 1

panic

A Haskell library for reporting unexpected behavior.

Language:HaskellISC3 20

advent_of_code

Language:HaskellISC2 20

colorize-haskell

Highligt Haskell source

Language:HaskellNOASSERTION2 3 1

deck-builder

Deck builder!

Language:Haskell1 30

hansa_teutonica

Language:Lua1 20

simple-get-opt

A simple library for processing command-line options to Haskell programs.

Language:HaskellBSD-3-Clause1 3 1

web-games

Language:Haskell1 20

1d-chess

Language:HTML020

arlington-pdf-model

A vendor- and implementation-independent specification-derived, machine-readable model of PDF.

Language:CApache-2.0000

cdg

Language:HaskellISC000

hs-search

020

KOI

Common code for interactive browser based games

Language:Haskell010

quebec

Language:Lua010

snake

Language:GDScript010

songs

Language:HTML010

toml-parser

Haskell parser and printer for the TOML 1.0.0 file format

ISC000

wable

Language:Haskell020

yann

Language:HaskellISC010

zen

Language:Haskell010