Sven Heyll (sheyll)

sheyll

Geek Repo

Company:vier GmbH

Location:Karlsruhe, Germany

Github PK Tool:Github PK Tool


Organizations
lindenbaum

Sven Heyll's repositories

type-spec

A tiny EDSL to write type-level-unit tests

Language:HaskellLicense:BSD-3-ClauseStargazers:49Issues:4Issues:2

erlymock

An EasyMock inspired mocking library for erlang.

Language:ErlangLicense:MITStargazers:23Issues:4Issues:2

b9-vm-image-builder

A build tool and library for virtual machines.

Language:HaskellLicense:MITStargazers:19Issues:4Issues:8

newtype-zoo

A Zoo of Haskell Newtype Wrappers

Language:HaskellLicense:BSD-3-ClauseStargazers:14Issues:3Issues:1

pretty-types

A small pretty printing DSL for complex types.

Language:HaskellLicense:NOASSERTIONStargazers:8Issues:2Issues:2

extensible-effects-concurrent

A message passing concurrency extensible-effect

Language:HaskellLicense:BSD-3-ClauseStargazers:6Issues:2Issues:5

mediabus

Multimedia streaming on top of Conduit

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

unliftio-messagebox

Fast and reliable message queues

Language:HTMLLicense:BSD-2-ClauseStargazers:4Issues:3Issues:0

haskell-kurs-audio-demo

Demo Material fuer den Haskell Kurs

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

mediabus-rtp

Mediabus RTP Source/Sink

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

vscode-flake-sh

VS Code flake with Live-share enabled

Language:NixStargazers:2Issues:1Issues:0

chor-recording-cutter

A small utility to cut an audio recording of an amatuer choir training or rehearsal

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:2Issues:0

freecad-realthunder-nix-flake

The patched version of FreeCAD with the realthunder assembly plugin, ready to use as a Nix flake

Language:NixLicense:MITStargazers:1Issues:1Issues:0

gilded-rose-haskell

A port of the "Gilded-Rose" Kata to Haskell

Language:HaskellStargazers:1Issues:3Issues:0

isobmff

Blaze-Builder for the ISO base media file format ISO-14496-12

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:2Issues:0

mediabus-fdk-aac

Mediabus plugin for the Frauenhofer ISO-14496-3 AAC FDK

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

nix-structurizr-cli

Nix Flake around structurizr-cli

Language:NixLicense:Apache-2.0Stargazers:1Issues:1Issues:0
Language:NixLicense:UnlicenseStargazers:1Issues:0Issues:0

rio-process-pool

A library for process pools coupled with asynchronous message queues

Language:HTMLLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0
Language:NixLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

bytestring-to-vector

Convert between ByteString and Vector.Storable without copying

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

docs-travis-ci-com

The Travis CI Documentation

Language:CSSStargazers:0Issues:2Issues:0

function-builder

Poly Variadic Functions in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:2

nix-git-importer

Import local git repos into the Nix store

Language:NixStargazers:0Issues:1Issues:0

nix-with-ihaskell-experiments

Experiments around a blog post about nix and IHaskell (Jupyter)

Language:NixStargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

License:MITStargazers:0Issues:0Issues:0

pywal

🎨 Generate and change color-schemes on the fly.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0
Language:NixStargazers:0Issues:0Issues:0

stackage

"Stable Hackage": vetted consistent packages from Hackage

Language:ShellLicense:MITStargazers:0Issues:2Issues:0

workingtitle

Just experimenting around

Language:ElmLicense:Apache-2.0Stargazers:0Issues:1Issues:0