Phil Freeman

Login: paf31

Company: null

Location: Los Angeles, CA

Bio: Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.

Blog: http://www.functorial.com/

Blog: http://www.functorial.com/

Member of

1. Lumi
2. PureScript
3. PureScript Contrib
4. null

Repositories

24-days-of-purescript-2014

null

24-days-of-purescript-2016

24 Days of PureScript, 2016

acme-all-monad

A monad which is powerful enough to interpret any action

Adventure

For the LA Haskell Meetup

Automata

A monad for finite deterministic automata

Automata-hs

A monad for finite deterministic automata

BF

BF .NET Compiler

blog.functorial.com

null

blog-source

Markdown files and static site generator script for my blog.

codejam

Google CodeJam Solutions

codemesh2016

Code Mesh 2016 slides

contravariant

Haskell 98 contravariant functors

dcmutils

DICOM Utilities

Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell

Embedding a Full Linear Lambda Calculus in Haskell

free

free monads

haskell-slides

null

HsDiff

Haskell Diff Tool

initialround

Web app for interviewing technical candidates in the browser

kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

lambdaconf

LambdaConf Notes

lambdaconf-2015

Materials for my LambdaConf 2015 Workshop

language-typescript

Haskell library for working with TypeScript Definition files

monad-unify

A library for type-safe first-order unification

mu-kanren

A step-by-step MicroKanren evaluator

paf31.github.io

functorial

parsel

A just-in-time compiler for recursive descent parsers

partial

A nullary type class for partial functions

pattern-arrows

Arrows for Pretty Printing

purescript

A strongly-typed language that compiles to Javascript

purescript-behaviors

A simple push-pull FRP implementation

purescript-behaviors-demo

purescript-behaviors in PSCi

purescript-book

Sources for the PureScript book

purescript-bsp-experiment

An isometric canvas renderer which supports transparency

purescript-croco

Croco Magneto remake in PureScript - work in progress

purescript-day

Day Convolution

purescript-debugger

A simple console debugger for PureScript functions

purescript-derive-lenses

A little utility to derive lenses and prisms for data types in PureScript

purescript-distributions

A monad which generalizes the probability monad to an arbitrary Semiring of probabilities

purescript-drumloops

Experimenting with purescript-howler

purescript-folds

Applicative Folds, in the style of Gabriel Gonzalez' foldl library

purescript-foreign-generic

Generic deriving for purescript-foreign

purescript-free-canvas

A free monad interface to the canvas

purescript-graphics-vis

A library for interactively creating graphics visualizations

purescript-hm-demo

A small type system demo for PureScript "Overboard"

purescript-hoist

Optics between functors

purescript-incremental-functions

Incremental lambda calculus

purescript-isomorphisms

A category of isomorphisms, and some standard isomorphisms

purescript-leibniz

Leibniz Equality

purescript-lens-simple

Very basic lenses

purescript-lists-fast

Fast replacements for some common functions on linked lists

purescript-memoize

Type classes for creating memoized functions

purescript-node-coroutines

Coroutines for working with Node streams

purescript-pairing

Pairings of functors

purescript-pprint

A simple pretty printing library

purescript-promises

An alternative effect monad for PureScript.

purescript-purview

A UI library based on the incremental lambda calculus

purescript-quickserve

Quick HTTP servers

purescript-react-explore

Experiments with comonads for modelling React UIs

purescript-reflection

Reflecting values at the type level

purescript-safely

A combinator for making any monadic control operator stack-safe

purescript-sdom

An experiment in replacing the virtual DOM and avoiding diffing

purescript-signal-loop

An abstraction on top of purescript-signal, for avoiding Channels

purescript-smash

An "extensible coeffect" system built out of comonads and Day convolution.

purescript-taylor

Taylor series

purescript-thermite

A simple PureScript wrapper for React

purescript-tropical

Tropical Semirings

purescript-webidl

A wrapper for the webidl2 library

purescript-with-index

A tiny library for composing indexed traversals

purescript-yargs

PureScript bindings for the yargs command-line parsing library

Purity

CLR-Hosted Total Functional Programming Language

stack-safety-for-free

A note on the approach to stack-safety in PureScript's core libraries

star-dodge-clone

A partial clone of 2D Star Dodge

supervisor

A simple ptrace-based supervisor

tablestorage

Azure Table Storage REST API Wrapper

the-future-is-comonadic

My (rejected) OBT-2018 submission

typescript-docs

A documentation tool for TypeScript Definition files

typescript-docs-psc

A PureScript port of typescript-docs

with-index

A tiny library for composing indexed traversals

Commits To