Profpatsch

followers

following

stars

Possehl Analytics

Augsburg, Paris

http://profpatsch.de

Organizations

beetbox

curry-club-aux

dhall-lang

lojbanistan

NixOS

openlab-aux

Profpatsch's repositories

libnix-haskell

Haskell library to interface with the nix package manager

Language:HaskellGPL-3.024 6 4

blog

My blog (shake static builder & content)

Language:HTML21 30

yarn-lock

MOVED TO https://github.com/Profpatsch/yarn2nix – Types and parser for the lock file format of the npm successor yarn

Language:HaskellMIT9 4 4

awesome-haskell-lint

Awesome List™ of Haskell linters & best linting practices

1 30

utils.hs

Helpful command line tools

Language:Haskell1 40

aeson-schema

Haskell JSON schema validator and parser generator

Language:HaskellMIT020

cassava-conduit

Conduit interface for cassava [Haskell]

Language:Haskell020

dunst

Lightweight and customizable notification daemon

Language:CNOASSERTION020

easy-dhall-nix

Derivations for easily downloading Dhall binaries and putting them to use.

Language:NixMIT020

easy-hls-nix

Easy Haskell Language Server tooling with Nix!

Language:NixMPL-2.0020

gradle2nix

Generate Nix expressions which build Gradle-based projects.

Language:KotlinMIT020

hasql-pool

A pool of connections for Hasql

Language:HaskellMIT020

httpdirfs

A filesystem which allows you to mount HTTP directory listings, with a permanent cache. Now with Airsonic / Subsonic support!

Language:CNOASSERTION020

mu

maildir indexer/searcher + emacs mail client + guile bindings

Language:CGPL-3.0030

nix

Nix, the purely functional package manager

Language:C++LGPL-2.1030

nix-1

Rust friendly bindings to *nix APIs

Language:RustMIT020

nix-1p

A (more or less) one page introduction to Nix, the language.

020

nix-diff

Explain why two Nix derivations differ

Language:HaskellBSD-3-Clause020

openapi-generator

OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)

Language:JavaApache-2.0020

rust-atomicwrites

Atomic file-writes.

Language:RustMIT020

servant

Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!

Language:Haskell030

servant-rawm

Effectful Raw handler for Servant servers.

Language:HaskellBSD-3-Clause020

smartparens

Minor mode for Emacs that deals with parens pairs and tries to be smart about it.

Language:Emacs LispGPL-3.0020

spago2nix

Generate a derivation of Spago dependencies, and use them to install them into the directory structure used by Spago.

Language:NixMIT020

stackage

"Stable Hackage": vetted consistent packages from Hackage

Language:DockerfileMIT020

taplo

A TOML toolkit written in Rust

Language:RustMIT020

vscode-nix-ide

Nix language support for VSCode editor [maintainer: @jnoortheen]

Language:TypeScriptMIT020

wai

Haskell Web Application Interface

Language:HaskellMIT020

wai-control

Run wai Applications in IO based monads

Language:HaskellBSD-3-Clause020

weeder-json

Detect unused Haskell symbols. Json input & output. Github Actions integration possible.

Language:HaskellBSD-3-Clause020