Discover @meiersi Open Source projects

Simon Meier (@meiersi)

meiersi

Stars
213
Global Rank 117,306 (Top 5 %)
Followers 137
Following 32
Registered over 14 years ago
Most used languages

Haskell
86.7 %

Isabelle 6.7 %

Vim Script
6.7 %
Location 🇨🇭 Switzerland
Country Total Rank 1,285
Country Ranking

Isabelle 1

Haskell
13

Vim Script
137

blaze-react

A blaze-html style ReactJS binding for Haskell using GHCJS

blaze-builder

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

blaze-binary

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

scyther-proof

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

strict-base-types

Fully strict variants of the types provided in base.

blaze-builder-enumerator

Make it easy to use blaze-builder together with enumerator.

bytestring

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

psqueues-old

Assorted priority-search queues for Haskell

system-io-write

Library providing an abstraction of relocatable direct writing to memory.

talks

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

bytestring-builder

Prerelease version for the new bytestring builder... greatly simplifies experiments based on it.

blaze-protobuf

Experimental implementation of Google's protocol buffers

blog

dotfiles

experiments

Various experiments in programming and otherwise.

encoding-writes

Write abstractions for standardized encodings of Haskell values.