Skip to content
View pbiggar's full-sized avatar


  • Pro


Block or Report

Block or report pbiggar

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Ceasefire Now

Hi there 👋

Software engineer and devtools founder -- founded Tech For Palestine, CircleCI and Darklang.

Irish, based in NYC after a decade in SF.

Functional languages, devtools, progressive politics, tech, pastries. Recurser. (he/him)

Feel free to reach out for advice on startups, devtools, or programming:

Tech For Palestine

Inexplicably I now help lead a Palestinian advocacy org called Tech For Palestine, which I founded with a core group of about 40 others.


I've been working on Darklang since late 2016. I'm taking a hiatus to work on Tech For Palestine. You can follow that work in various places:


Past self

I previously was founder and CEO of CircleCI. I wrote a bunch of early stuff on the CircleCI blog, including this piece that I'm extremely proud of.

I also did a PhD in Compilers and Static Analysis, and my research papers are online (also includes some research on sorting algorithms)


  1. darklang/dark darklang/dark Public

    Darklang main repo, including language, backend, and infra

    F# 1.6k 89

  2. darklang/tablecloth darklang/tablecloth Public

    A standard library with the same API in F#, Rescript and OCaml

    JavaScript 509 44

  3. darklang/philip2 darklang/philip2 Public

    An Elm to OCaml compiler

    OCaml 204 1

  4. darklang/docs darklang/docs Public

    Darklang documentation

    JavaScript 42 35

  5. phc phc Public

    A compiler for PHP

    C++ 128 37

  6. sorting-branches-caching sorting-branches-caching Public

    Research on sorting, esp. related to caching and branch prediction

    C 10 1