• Stars
    star
    49
  • Rank 569,743 (Top 12 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 8 years ago
  • Updated over 5 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A tiny EDSL to write type-level-unit tests

More Repositories

1

erlymock

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

b9-vm-image-builder

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

newtype-zoo

A Zoo of Haskell Newtype Wrappers
Haskell
14
star
4

pretty-types

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

extensible-effects-concurrent

A message passing concurrency extensible-effect
Haskell
6
star
6

mediabus

Multimedia streaming on top of Conduit
Haskell
6
star
7

unliftio-messagebox

Fast and reliable message queues
HTML
4
star
8

nano_trace

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

haskell-kurs-audio-demo

Demo Material fuer den Haskell Kurs
Haskell
3
star
10

mediabus-rtp

Mediabus RTP Source/Sink
Haskell
2
star
11

oh-my-stack-templates

Templates for Haskell projects
2
star
12

autumn

autumn
Erlang
2
star
13

vscode-flake-sh

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

tftp

A library for building tftp servers
Haskell
2
star
15

repoxy

Erlang
1
star
16

erl-mvn-distel

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

halvm_archlinux_docker

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

smooth

Erlang
1
star
19

obs-shaderfilter-nix-flake

Nix
1
star
20

gilded-rose-haskell

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

CIncludeGraph

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

mediabus-fdk-aac

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

chor-recording-cutter

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

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
25

freecad-realthunder-nix-flake

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