Philipp Hausmann Philipp Hausmann's Open Source Contributions


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
nixbot/nixpkgs-sandbox
Nix - Other - Last pushed - 1 stars - 1 forks
pikajude/darwinixpkgs
focusing on darwin
Nix - Other - Last pushed - 1 stars
stangelandcl/nixpkgs
nixpkgs clone
Nix - Other - Last pushed - 0 stars
manpages/nixpkgs-haskell-injection
An attempt to inject some private or unpublished Haskell repositories into haskellPackages in a s...
Nix - Other - Last pushed - 1 stars
adevress/bbp-nixpkgs
Nix expressions for HBP software stack
Nix - Other - Last pushed - 0 stars
adevress/nixpkgs-bak
Nix - Other - Last pushed - 0 stars
Proclivis/wxHaskell
Small changes for command line problems and dialog support
C++ - LGPL-2.1 - Last pushed - 0 stars
qrilka/xlsx
Simple and incomplete Excel file parser/writer
Haskell - MIT - Last pushed - 78 stars - 36 forks
jayteemo/UR_aravis
C - LGPL-2.1 - Last pushed - 0 stars
wspr/unicode-math
XeLaTeX/LuaLaTeX package for using unicode/OpenType maths fonts
TeX - Last pushed - 107 stars - 16 forks
folsen/opaleye-gen
A lightweight program to generate Opaleye boilerplate from a database
Haskell - BSD-3-Clause - Last pushed - 9 stars - 4 forks
feuerbach/tasty
Modern and extensible testing framework for Haskell
Haskell - Last pushed - 340 stars - 56 forks