Pascal Hartig

Navigate to git/hg revisions in your terminal using your keyboard.

GIFs on the command line

Gradle plugin to continuously track and report your build times

Resources for learning and using recursion schemes.

An AngularJS directive for Masonry.

A directory chooser library for Android.

A curation of awesome PureScript libraries, resources and shiny things.

Soundcloud Downloader App for Android

Webpack loader for autoprefixer

Prettier display of Android Lint issues

A web component to display Pokémon.

Replaces references to resources on the Google CDN

A React component for displaying Pokémon

A Heroku config generator for Yeoman

An AngularJS directive to quickly insert Google Static Maps.

Ask Me Anything

Setting up a Raspberry Pi 3 as a VPN Gateway

Flask extension for easy profiling on Google App Engine

Yeoman Generator for Bookmarklets

No description.

Giphy HTTP API Wrapper for Haskell

A Twitter bot that renders LaTeX for you

A manager for custom timelines

A reverse proxy for rendering Markdown within RSS feeds

Sindre has circled around the sun once more

Desktop notifications via notify-osd for nose tests

Handy error handling combinators for PureScript

An experiment architecting something like TweetDeck with Flight.

A partial implementation of the W3C URL Spec Draft for Node

Some public coding puzzles

ASCII 🐮s

Get the latest version of a package on npm

A Turtle script I use to kick off attic

Serve a podcast feed from a directory with MP3s in it.

Tweet like a Horse

My homepage

A probably bad idea of how to run lettuce from nose

An IPython Notebook I use to crunch my Financius data

Example of how to use android-lint-summary with gradle

A reverse HTTP proxy that may eventually do things

Firebase Cloud Functions + TypeScript + PureScript + Webpack

AAR fork of Jake Wharton's ViewPagerIndicator

Articles I've written

A minimal PureScript wrapper around moment.js

Android Application to check for the Sim City Server Status

Sample Android project showing how to test ActionBarSherlock with Robolectric

Fork of Glashammer adding some custom patches

Helpers for optparse-applicative to deal with Data.Text

A toy ray tracer in Rust.

Easy data-bindings in Flight with Knockout

[WIP] Offline reading app for Android

Backend for my soccer prediction app doing some calculations with NumPy

Web service for rendering TfL Tube roundels.

An authenticated Twitter API proxy in Haskell. (WIP)

A super limited Twitter API OAuth signing proxy

A Raspberry Pi config to use it as DHCP/RA server

A Google Home bot to enquire about your local electricity's carbon intensity.

A Google Home action allowing you to ask for TfL Tube departures.

Basic Peano numbers in Haskell

No description.

My old flask-based homepage. No longer under development or in use.

A PureScript experiment that is supposed to be a personal gif library

Everyone likes to play.

Android example for merging multiple adapters for one autocomplete field

Dagger 2 + Android playground

A Jupyter notebook for analyzing iCalendar files

Learning project re-implementing a client to read constant databases (CDBs)

My neovim configuration

Various reusable utilities for Glashammer/WSGI projects. BSD-licensed.

OpenGL bouncing ball with Yampa, GLUT

A subset of CSS (specifically flex-box) re-implemented as a stand alone project for use primarily on mobile. Used by react-native

Do's and Don'ts for Android development, by Futurice developers

An Effective Kotlin Android App experiment

[WIP] Extract paths of stylesheets, scripts and HTML imports from HTML files

Relay gbridge.io events to another MQTT broker. Part of my home IoT setup, but unlikely of any use to anybody else.

Toy program in Haskell using tries to implement some autocompletion stuff

No description.

Tracking Tube disruptions and write them to a RethinkDB

A script to migrate Financius transactions to Bluecoins

AngularJS-based frontend doing some soccer predictions based on simple time-independent least square regression.

Ordered Jobs Kata in Rust

java-repl for docker

Scripts for the daily use at the Gymnasium Altenholz

Android SDK Installer Script

Android Unit Testing Framework - Fork with merged SDK 19 support

Used to integrate Android apps with Facebook Platform.

Maven plugin for gradle compatible with android library projects

LibScout: Third-party library detector for Java/Android apps

Native code loader for Android

An Android library for managing images and the memory they use.

a version of the official Android openssl setup to build standalone for use in app

A curated list of awesome lists.

Yeoman generator for Chrome App

Rust bindings for webview, a tiny cross-platform library to render web-based GUIs for desktop applications

A barebones WebSocket client and server implementation written in 100% Java.

Library for writing system daemons

Chrome extension that simplifies the GitHub interface and adds useful features

Git hooks I like. Mostly copied from across the web.

The Bower config reader and writer

My attempt to implement @sdiehl's fun language.

Something, something Scotty JSON API

Arduino MQTT client for sending 433 Mhz signals

Docker file for mosquitto MQTT broker on Raspberry Pi

No description.

A sqlite-powered pastebin toy project using Diesel and Rocket.rs

Tmux wrapper for revmenu

No description.

Docker container for docker-graphite on a Raspberry Pi (armhf)

React is a JavaScript library for building user interfaces. It's declarative, efficient, and extremely flexible. What's more, it works with the libraries and frameworks that you already know.

A framework for building native apps with React.

🚇 The JavaScript bundler for React Native.

Utilities and examples used in Meta to simplify migration from Java to Kotlin and maintenance of Kotlin code.

Easily load and persist config without having to think about where and how

Node.js module to help you understand how your tool is being used by anonymously reporting usage metrics to Google Analytics

Update notifier for your Node.js npm package

Redux Inspector for flipper (Extensible mobile app debugger).

A Gradle plugin that publishes your Android and Kotlin libraries, including sources and javadoc, to Maven Central or any other Nexus instance.

Official Website for Mithril.js

Dockerized ElasticMQ server + web UI over Alpine Linux for local development

No description.

No description.

Config files for my GitHub profile.

A desktop debugging platform for mobile developers.

No description.

No description.

Upload artifacts to a GitHub release

Docker images for gBridge

Identify the network components that drops packets by employing the traceroute logic which explores multiple parallel paths.

A practitioners' guide to best practices for continuous integration / feedback for a HTML5 / Javascript WebApp

No description.

No description.

A library designed to simplify the usage of the Java Native Interface

Create amazing 360 and VR content using React

No description.

GitHub action for tagging commits whose title matches a version regex

Simple "Save to Kippt" button

Official Sentry SDK for Rust

Docker image with StatsD, Graphite, Grafana 2 and a Kamon Dashboard

Builds a Docker image for running the Ubiquiti UniFi Controller inside of a Docker container.

JavaScript Fireworks

Tiny cross-platform webview library for C/C++/Golang. Uses WebKit (Gtk/Cocoa) and MSHTML (Windows)

Simple postfix relay for use with nomad

No description.

No description.

Build scripts for container stacks/pods.

A flipper plugin support inspect redux state and action logs for react-native

Flipper plugin for Redux in React Native

React DevTools for Flipper - v3 which supports React Native < 0.62

React Native's Async Storage logger for Flipper

Flipper plugin for android-database-sqlcipher

No description.

Generic helper tool to build app in a distributable format

An asynchronous AJAX library built using Aff.

An adapter between the purescript-halogen and purescript-css libraries.

A declarative, type-safe UI library for PureScript.

:octocat: :whale: Alpine Docker Image for GitHub Pages and Jekyll powered sites

No description.

Python HTTP Requests for Humans™.

A public libevent repository. The official repository is at https://github.com/libevent/libevent

A library for generating Typescript types that can be used transparently from Purescript.

An asynchronous effect monad for PureScript

Pusher Haskell HTTP Library

Library for Nova Fitness SDS dust sensors family (SDS011, SDS021)

😱 Panic messages for humans.

Jasmine matchers for Sinon.JS

No description.

No description.

Immutable persistent data collections for Javascript which increase efficiency and simplicity.

HTTP Request & Response Service, written in Python + Flask.

No description.

No description.

rust crate: assert approximately equal

No description.

A flexbox implementation in rust

crates.io documentation generator

Office Mover 5000

No description.

fbtftp is Facebook's implementation of a dynamic TFTP server framework.

Android SQLite API based on SQLCipher

Elm's core libraries

Purely functional set data structure

The full source for http://elm-lang.org/, the home-page of the Elm programming language. Open sourced as a way to teach people how to write and serve Elm code. Follow the instructions in README.md to get the site setup on your own machine.

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

Collection of awesome podcasts

Yeoman generator for Cordova

Code for the Beautiful Racket book tutorials

No description.

No description.

Rust parser combinator framework

A static analyzer for Java, C, C++, and Objective-C

No description.

No description.

functorial

Playing around with Webrender

A Rust Wrapper of Facebook's Yoga, a Flexbox layout engine

Free foreign exchange/currency feed from the European Central Bank

Docker-Compose config for running carbon-whisper, graphite-api and statsd in concert on a Raspberry Pi

Docker container for statsd on a Raspberry Pi (armhf)

Docker container for carbon-whisper on a Raspberry Pi (armhf)

Statsd client implemented in Rust