Sven Heyll (@sheyll)

Top repositories

1

type-spec

A tiny EDSL to write type-level-unit tests
Haskell
49
star
2

erlymock

An EasyMock inspired mocking library for erlang.
Erlang
23
star
3

b9-vm-image-builder

A build tool and library for virtual machines.
Haskell
19
star
4

newtype-zoo

A Zoo of Haskell Newtype Wrappers
Haskell
14
star
5

pretty-types

A small pretty printing DSL for complex types.
Haskell
8
star
6

extensible-effects-concurrent

A message passing concurrency extensible-effect
Haskell
6
star
7

mediabus

Multimedia streaming on top of Conduit
Haskell
6
star
8

unliftio-messagebox

Fast and reliable message queues
HTML
4
star
9

nano_trace

Simple tracing utility to setup tracing with OTP application granularity.
Erlang
4
star
10

haskell-kurs-audio-demo

Demo Material fuer den Haskell Kurs
Haskell
3
star
11

mediabus-rtp

Mediabus RTP Source/Sink
Haskell
2
star
12

oh-my-stack-templates

Templates for Haskell projects
2
star
13

autumn

autumn
Erlang
2
star
14

vscode-flake-sh

VS Code flake with Live-share enabled
Nix
2
star
15

tftp

A library for building tftp servers
Haskell
2
star
16

erl-mvn-distel

Smoother integration erlang-plugin for maven with distel and emacs
Emacs Lisp
1
star
17

repoxy

Erlang
1
star
18

halvm_archlinux_docker

Docker build configuration for a HaLVM installation based hosted on Archlinux
Shell
1
star
19

smooth

Erlang
1
star
20

nix-structurizr-cli

Nix Flake around structurizr-cli
Nix
1
star
21

obs-shaderfilter-nix-flake

Nix
1
star
22

CIncludeGraph

Create a .dot file representing the transitive inclusion of files included via C pre processor macros by a file.
Haskell
1
star
23

gilded-rose-haskell

A port of the "Gilded-Rose" Kata to Haskell
Haskell
1
star
24

mediabus-fdk-aac

Mediabus plugin for the Frauenhofer ISO-14496-3 AAC FDK
Haskell
1
star
25

chor-recording-cutter

A small utility to cut an audio recording of an amatuer choir training or rehearsal
Haskell
1
star
26

TCPHeartBeat

Super small server and client that run on two hosts, continuously sending data to each other using TCP. When the connection gets destroyed, both tools exit with an error exit code.
Haskell
1
star
27

freecad-realthunder-nix-flake

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