Paul Snively psnively
- twitter_reading_list 29 A place for Twitter folk to share code and verbiage based on stuff we're reading and learning from.
- mittelos 21 An implementation of Event Calculus reasoning in Scala
- s-hansei 8 A Scala port of HANSEI, originally in OCaml
- types_vs_tests 5 Code from Amanda Laucher and Paul Snively's Types vs. Tests presentation at Strange Loop 2012
- path_to_jaynes 3 Development materials for The Path to Jaynes blog series
Repositories contributed to
- pdubois/docker-alfresco 2
- krasserm/akka-persistence-cassandra 139 A replicated Akka Persistence journal backed by Apache Cassandra
- Alfresco/chef-alfresco 17 A build automation tool that provides a modular, configurable and extensible way to install an Alfresco architecture
- Ptival/PeaCoq 36 PeaCoq is a pretty Coq, isn't it?
- scalaz/scalaz-stream 374 Compositional, streaming I/O library for Scala
Contributions in the last year 17 total Jul 3, 2014 – Jul 3, 2015
Longest streak 1 day July 9 – July 9
Current streak 0 days Last contributed