Simon Meier (meiersi)

meiersi

Geek Repo

Company:@digital-asset

Location:Zurich

Github PK Tool:Github PK Tool


Organizations
haskell-suite
tamarin-prover

Simon Meier's repositories

blaze-react

A blaze-html style ReactJS binding for Haskell using GHCJS

Language:HaskellLicense:MITStargazers:107Issues:16Issues:26

blaze-builder

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

Language:HaskellLicense:NOASSERTIONStargazers:21Issues:5Issues:12

blaze-binary

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

Language:HaskellLicense:NOASSERTIONStargazers:17Issues:6Issues:6

scyther-proof

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

Language:IsabelleLicense:GPL-3.0Stargazers:14Issues:8Issues:8

blaze-builder-enumerator

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

Language:HaskellLicense:NOASSERTIONStargazers:6Issues:4Issues:1

strict-base-types

Fully strict variants of the types provided in base.

Language:HaskellLicense:NOASSERTIONStargazers:6Issues:6Issues:7

psqueues-old

Assorted priority-search queues for Haskell

Language:HaskellLicense:NOASSERTIONStargazers:4Issues:9Issues:8

aeson

A fast Haskell JSON library

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

dotfiles

.files

Language:Vim ScriptStargazers:1Issues:4Issues:0

ghcjs-vdom

bindings for virtual-dom

Language:JavaScriptLicense:MITStargazers:1Issues:5Issues:0

tamarin-prover

Main source code repository of the Tamarin prover for security protocol verification.

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:3Issues:0

text

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

Language:HaskellLicense:BSD-2-ClauseStargazers:1Issues:3Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

bytestring-1

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

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

ekg

Remote monitoring of running processes over HTTP

Language:JavaScriptLicense:BSD-3-ClauseStargazers:0Issues:4Issues:0

Frames

Data frames for tabular data.

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

ghc-core-html

Read ghc-core with style. javascript and CSS style.

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

ghcid

Very low feature GHCi based IDE

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

ghcjs

Haskell to JavaScript compiler, based on GHC

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

ghcjs-servant-client

A servant client written for GHCJS

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:4Issues:0

james

Common utility services for building Haskell applications.

License:BSD-3-ClauseStargazers:0Issues:3Issues:0

lens

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

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

nixpkgs

Nix Packages collection

Language:NixLicense:NOASSERTIONStargazers:0Issues:3Issues:0

postgresql-simple

Mid-level client library for accessing PostgreSQL from Haskell

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

protocol

Apache Kafka Protocol implementation in Haskell

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

quickcheck

Automatic testing of Haskell programs. For reporting bugs, please use the mailing list, quickcheck@projects.haskell.org!

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

try-blaze-react

A variant of Ryan Trinkle's try-reflex that one can use to easily try blaze-react with GHCJS.

Language:ShellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0