Philipp Hausmann Philipp Hausmann

Tracking 2.51K commits to 42 open source packages


Repositories

phile314/tasty-silver
A fancy test runner for tasty and support for golden tests.
Haskell - MIT - Last pushed - 3 stars - 1 forks
phile314/agda-build
Haskell - BSD-3-Clause - Updated - 0 stars
phile314/mcco-projects
Haskell - Last pushed - 0 stars
phile314/chunky
Haskell - LGPL-3.0 - Last pushed - 0 stars
phile314/mdm-assig1
R - Last pushed - 0 stars
phile314/agda-contracts
Agda - Last pushed - 0 stars
See all Philipp Hausmann's repositories

Repositories Contributed To

asr/eagda
Extended version of Agda in which we have added an ATP-pragma
Haskell - Other - Last pushed - 0 stars
asr/pra
Haskell - Other - Last pushed - 0 stars
asr/my-agda
This isn't the "official" Agda repository. Please don't submit pull request
This repository is no longer available - 0 stars
DNNX/my-agda
Haskell - Other - Last pushed - 0 stars
grahamc/notpkgs
lol
Nix - MIT - Last pushed - 0 stars
Azulinho/mynixpkgs
My own fork of nixpkgs
Nix - Last pushed - 0 stars
See all Philipp Hausmann's contributions

Published Packages

tasty-silver
This package provides a fancy test runner and support for «golden testing». A golden test is an I...
Latest release 3.1.12 - Updated - 3 stars
chunky
Allows serializing data into binary files, preserving human readability as far as possible. It al...
Latest release 0.1.0.0 - Published
See all Philipp Hausmann's packages

Most Used Packages

containers
This package contains efficient general-purpose implementations of various basic immutable contai...
Latest release 0.6.0.1 - Updated - 196 stars
tasty
Tasty is a modern testing framework for Haskell. It lets you combine your unit tests, golden test...
Latest release 1.2 - Updated - 340 stars
process
This package contains libraries for dealing with system processes.
Latest release 1.6.5.0 - Updated - 52 stars
temporary
The functions for creating temporary files and directories in the base library are quite limited....
Latest release 1.3 - Updated - 9 stars
base
This package contains the Prelude and its support libraries, and a large collection of useful lib...
Latest release 4.12.0.0 - Updated
filepath
This package provides functionality for manipulating FilePath values, and is shipped with both GH...
Latest release 1.4.2.1 - Updated - 29 stars
See all Philipp Hausmann's most used packages

Last synced: 2016-12-16 14:02:55 UTC

Login to resync this page