Skip to content
View pbiggar's full-sized avatar

Highlights

  • Pro

Organizations

@darklang

Block or report pbiggar

Report abuse

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

Report abuse
pbiggar/README.md

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: paul.biggar@gmail.com

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.

Darklang

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:

Socials

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)

Pinned Loading

  1. darklang/dark darklang/dark Public

    Darklang main repo, including language, backend, and infra

    F# 1.7k 92

  2. darklang/tablecloth darklang/tablecloth Public

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

    JavaScript 514 45

  3. darklang/philip2 darklang/philip2 Public

    An Elm to OCaml compiler

    OCaml 206 2

  4. darklang/docs darklang/docs Public

    Darklang documentation

    JavaScript 43 38

  5. phc phc Public

    A compiler for PHP

    C++ 134 38

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

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

    C 10 1