Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Home / Developers / meiersi
Developer Profile

meiersi

Discovered public repositories for meiersi in the GitHub catalog.

↗

meiersi/lens

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

↗

meiersi/ekg

Remote monitoring of running processes over HTTP

↗

meiersi/cabal

Official upstream development repository for Cabal and cabal-install

↗

meiersi/bytestring-1

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

↗

meiersi/scyther-proof

A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.

↗

meiersi/upb

A small, low-level protocol buffer library

↗

meiersi/talks

Slides and additional material for talks that I've given.

↗

meiersi/binary

Efficient, pure binary serialisation using ByteStrings in Haskell.

↗

meiersi/bytestring

Fork of 'http://darcs.haskell.org/bytestring' to simplify integrating the blaze-builder work.

↗

meiersi/blaze-binary

A draft of a new binary serialization library based on the new bytestring-builder and attoparsec.

↗

meiersi/snap-core

Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.

↗

meiersi/heist

An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags.

↗

meiersi/criterion

A powerful but simple library for measuring the performance of Haskell code.

↗

meiersi/text

An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.

↗

meiersi/blaze-builder

Efficient serialization of Haskell values to lazy bytestrings with a large average chunk size.

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.