0xd34df00d Goto Github PK

0xd34df00d-gentoo-overlay

Some Gentoo ebuilds for my own use

agda-install

My little stack.yaml file to install Agda with the stackage LTS I'm using for most of the rest of my stuff

agda-stdlib

The Agda standard library

binary-generic-combinators

Combinators and utilities to make Generic-based deriving of Binary easier and more expressive

birds

Birds vs fish classification stuff

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

can-i-haz

Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError

carex

Slanted-edge profiler

cmake-syntax

A library for parsing CMake syntax

coformat

Produce a clang-format file from some sample source code

cohabr

command-qq

Quasiquoters for external commands

containers

Assorted concrete container types

counting-chars

Small and stupid benchmarking of ways of counting a char in a big string

counting-chars-ghc-simd

What would GHC SIMD primops allow me to do?

cppfilt

Haskell library to demangle C++ function names

edit-distance-linear

Levenshtein edit distance in linear memory (also turns out to be faster than C++)

edit-distance-linear-bench

The different implementations and benchmarks for the edit-distance linear algorithms

enum-subset-generate

Generate an ADT with a subset of constructors of another ADT, along with mapping functions

extra

Extra Haskell functions

fizzbuzz-i

FizzBuzz, formally verified, provably correct

gcd

Euclidean algorithm, formally verified, provably correct

gennl

Generating non-linear autoregression models

gentoo

The Gentoo ebuild repository mirror

gentoo-haskell

official gentoo haskell overlay

hakyll

A static website compiler library in Haskell

haskell-optparse-generic-library

Auto-generate a command-line parser for your datatype

haskell-z3

Haskell bindings to Microsoft's Z3 API (unofficial).

hastefm

Fetch some additional artist info from Last.FM (as a part of LC)

hencil

Pencil falling simulated.