pghfp

ctfp-book-club Public Forked from chiroptical/ctfp-book-club

Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski

Common Lisp 0 6 0 0 Updated Oct 22, 2019

pghfp.github.io Public

some website or another

1 0 1 0 Updated Apr 26, 2017

miniprl Public Forked from sjfloat/miniprl

A small implementation of a proof refinement logic.

Standard ML 0MIT 6 0 0 Updated Feb 5, 2016

immutable-js Public Forked from immutable-js/immutable-js

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

JavaScript 0 2,000 0 0 Updated Oct 4, 2015

pyrsistent Public Forked from tobgu/pyrsistent

Persistent/Immutable/Functional data structures for Python

Python 0MIT 172 0 0 Updated Oct 3, 2015

fantasy-land Public Forked from fantasyland/fantasy-land

Specification for interoperability of common algebraic structures in JavaScript

JavaScript 0MIT 405 0 0 Updated Sep 29, 2015

hasktuts Public Forked from parsonsmatt/hasktuts

A collection of introductory tutorials on Haskell libraries

1MIT 2 0 0 Updated Aug 31, 2015

httpd-protection-generator Public Forked from FranklinChen/httpd-protection-generator

Generate httpd.conf stuff for protecting directories on Mac OS X

Haskell 0BSD-3-Clause 1 0 0 Updated Aug 6, 2015

homepage-wireframes Public

While implementation details are being mulled over

0 0 0 0 Updated Jul 9, 2015

homepage-typescript Public

0 0 0 0 Updated Jul 9, 2015

Navigation Menu

Uh oh!

Uh oh!

pghfp

Popular repositories Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!