Profpatsch

Profpatsch

Geek Repo

Company:Possehl Analytics

Location:Augsburg, Paris

Home Page:http://profpatsch.de

Twitter:@Profpatsch

Github PK Tool:Github PK Tool


Organizations
beetbox
curry-club-aux
dhall-lang
lojbanistan
NixOS
openlab-aux

Profpatsch's repositories

yarn2nix

Build and deploy node packages with nix from yarn.lock files.

Language:HaskellLicense:MITStargazers:85Issues:8Issues:40

dotfiles

My dotfiles

Language:Emacs LispStargazers:8Issues:3Issues:1

mirage-sqlite-vfs-test

Test of how to builld an sqlite VFS that we can use as a mirageos block storage

Language:CLicense:MITStargazers:7Issues:3Issues:0

error

The canonical Haskell Error type

Language:HaskellLicense:MITStargazers:4Issues:3Issues:0

action-post-run

Enables executing custom commands once a workflow job has ended.

Language:TypeScriptStargazers:1Issues:2Issues:0

lesp

A simple lisp/sexpr dialect for authoring structured text

Language:JavaScriptStargazers:1Issues:3Issues:0

purescript-transmission-client

(vaporware) Interface with the transmission RPC from Purescript

Language:PureScriptStargazers:1Issues:3Issues:0

aeson-better-errors

Better errors when decoding JSON values

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

cabal2nix

Generate Nix build instructions from a Cabal file

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

cdb-docs

docs of djb’s cdb, scraped from the website for packaging in nixpkgs

Language:ShellStargazers:0Issues:3Issues:0

core-js

Standard Library

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

DefinitelyTyped

The repository for high quality TypeScript type definitions.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0

dhall-haskell

A configuration language guaranteed to terminate

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

dtypes

Functors, Applicatives, Traversables etc. of kind (k -> *) -> *

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

License:Apache-2.0Stargazers:0Issues:0Issues:0

hoogle

Haskell API search engine

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

iso-deriving

Derive instances through isomorphisms

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

leaflet-routing-machine

Control for routing in Leaflet

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0

NewPipe

A libre lightweight streaming front-end for Android.

License:GPL-3.0Stargazers:0Issues:0Issues:0

NewPipeExtractor

NewPipe's core library for extracting data from streaming sites

License:GPL-3.0Stargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:NOASSERTIONStargazers:0Issues:3Issues:0

purenix

Nix backend for PureScript. Transpile PureScript code to Nix.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

PyF

Haskell QuasiQuoter for String Formatting

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

scientific

Arbitrary-precision floating-point numbers represented using scientific notation

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

slidy

Display slides on a monitor

Language:TypeScriptStargazers:0Issues:0Issues:0

superrecord

Haskell: Supercharged anonymous records

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

trustix

Trustix: Distributed trust and reproducibility tracking for binary caches [maintainer=@adisbladis]

Language:GoStargazers:0Issues:1Issues:0

unix-compat

Haskell portable POSIX-compatibility layer

License:NOASSERTIONStargazers:0Issues:0Issues:0

vsh-bleibt

Offener Brief zur Verdrängung des Verschwörhaus e.V.

Language:SCSSLicense:MITStargazers:0Issues:2Issues:0