Joachim Breitner Joachim Breitner

Tracking 20.9K commits to 294 open source packages


Homepage: http://www.joachim-breitner.de/

Company: @dfinity-lab

Location: Freiburg, Germany


Repositories

nomeata/inspection-testing
Inspection Testing for Haskell
Haskell - MIT - Last pushed - 103 stars - 11 forks
nomeata/gipeda
Git Performance Dashboard
Haskell - MIT - Last pushed - 57 stars - 23 forks
nomeata/arbtt
arbtt, the automatic rule-based time-tracker
Haskell - GPL-2.0 - Last pushed - 36 stars - 9 forks
nomeata/incredible
The Incredible Proof Machine
Haskell - MIT - Last pushed - 162 stars - 21 forks
nomeata/tasty-expected-failure
Mark test cases as expected-failure
Haskell - MIT - Last pushed - 6 stars - 5 forks
nomeata/udp-broadcast-relay
Small daemon to relay udp broadcast packages on a different subnet.
C - GPL-2.0 - Last pushed - 43 stars - 25 forks
See all Joachim Breitner's repositories

Repositories Contributed To

antalsz/hs-to-coq
Convert Haskell source code to Coq source code
Coq - MIT - Last pushed - 153 stars - 9 forks
graham-at-target/ghc
Haskell - Other - Last pushed - 0 stars
hsyl20/ghc
Haskell - Other - Last pushed - 0 stars
shayan-najd/NativeMetaprogramming
Native Metaprogramming in Haskell
Haskell - BSD-3-Clause - Last pushed - 7 stars
tjakway/ghcjvm
Haskell - BSD-3-Clause - Last pushed - 4 stars
nushio3/ghc
Haskell - BSD-3-Clause - Last pushed - 0 stars
See all Joachim Breitner's contributions

Published Packages

inspection-testing
Some carefully crafted libraries make promises to their users beyond functionality and performanc...
Latest release 0.4.1.1 - Updated - 103 stars
gipeda
Gipeda is a a tool that presents data from your program’s benchmark suite (or any other source), ...
Latest release 0.3.3.2 - Updated - 57 stars
tasty-expected-failure
With the function Test.Tasty.ExpectedFailure.expectFail in the provided module Test.Tasty.Expecte...
Latest release 0.11.1.1 - Updated - 6 stars
list-fusion-probe
This package provides a function fuseThis that can be wrapped around a flist. If that list is fus...
Latest release 0.1.0.8 - Updated - 4 stars
bisect-binary
This little program helps with the following task: You need to analyse some binary file (e.g., t...
Latest release 0.1.0.1 - Updated - 33 stars
reflex-dom-fragment-shader-canvas
A reflex-dom widget to draw on a canvas with a fragment shader program
Latest release 0.2 - Updated
See all Joachim Breitner's packages

Most Used Packages

base
This package contains the Prelude and its support libraries, and a large collection of useful lib...
Latest release 4.12.0.0 - Updated
sockjs
SockJS-node is a server counterpart of SockJS-client a JavaScript library that provides a WebSock...
Latest release 0.3.19 - Updated - 1.69K stars
text
An efficient packed, immutable Unicode text type (both strict and lazy), with a powerful loop fus...
Latest release 1.2.3.1 - Updated - 184 stars
inspection-testing
Some carefully crafted libraries make promises to their users beyond functionality and performanc...
Latest release 0.4.1.1 - Updated - 103 stars
bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-...
Latest release 0.10.8.2 - Updated - 98 stars
containers
This package contains efficient general-purpose implementations of various basic immutable contai...
Latest release 0.6.0.1 - Updated - 196 stars
See all Joachim Breitner's most used packages

Last synced: 2016-12-16 11:02:08 UTC

Login to resync this page