silky Goto Github PK

peppermint-prover

Experimental proof assistant (and architecture) for dependent linear logic

perceptionengines

Perception Engines

percol

adds flavor of interactive filtering to the traditional pipe concept of UNIX shell

perfect-arrows

A set of minimal functions for drawing perfect arrows between points and shapes.

performance-zippers

perhaps

A monad, perhaps.

periph

Go·Hardware·Lean

persistence

A topological data analysis library for Haskell

personal-site

Source for wetmore.github.io ie http://mattwetmore.me

perspec

Scriptable desktop app to correct the perspective of images

perspective

A data visualization and analytics component, especially well-suited for large and/or streaming datasets.

petalisp

Elegant High Performance Computing

pev

Postgres Explain Visualizer

pfff

pfff is a set of tools and OCaml APIs to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code.

pg

This repo is the new home of Proof General

pg-client-hs

A low level Haskell library to connect to postgres

pg-entity

A PostgreSQL database layer that does not get in your way

pg-shell

PostgreSQL, in a shell.

pglogical

Logical Replication extension for PostgreSQL 9.4, 9.5 and 9.6 (Postgres), providing much faster replication than Slony, Bucardo or Londiste, as well as cross-version upgrades.

phaser

Phaser is a fun, free and fast 2D game framework for making HTML5 games for desktop and mobile web browsers, supporting Canvas and WebGL rendering.

phash

Haskell bindings to the pHash perceptual hashing library

phil

An extension of rose perrone's brain

philogl

A WebGL Framework for Data Visualization, Creative Coding and Game Development

phoenix-trello

Trello tribute done in Elixir, Phoenix Framework, React and Redux.

phonegap-start

A starting-point for PhoneGap apps

photo-booth

A multi-platform photo booth software using Electron and your camera

photometric-stereo

Straightforward implementation of calibrated photometric stereo with several datasets.

phue

A Python library for the Philips Hue system

physbam_public

A modified version of the public physbam repo to support using Cmake and newer Gcc compilers

physical-gradient-descent

Code for https://fosterelli.co/executing-gradient-descent-on-the-earth