Pinned Repositories
10PL
10 papers that all PhD students in programming languages ought to know, for some value of 10
atp-haskell
Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
awesome-microservices
A curated list of Microservice Architecture related principles and technologies.
book
A textbook on informal homotopy type theory
chan-benchmarks
Criterion benchmarks for the different haskell concurrent channel implementations in base and stm
data-lens
Haskell 98 Lenses
docker-swarm
dotFiles
my own configuration files
xmonad-mate-config
xmonad configuration on linux mint mate
massyl's Repositories
massyl/10PL
10 papers that all PhD students in programming languages ought to know, for some value of 10
massyl/atp-haskell
Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
massyl/book
A textbook on informal homotopy type theory
massyl/docker-swarm
massyl/dotFiles
my own configuration files
massyl/dyre
A Dynamic Reconfiguration Library for Haskell Programs
massyl/haskell-mode
Emacs mode for Haskell
massyl/haskell-tor
A Haskell implementation of the Tor protocol.
massyl/hs-jose
Haskell JOSE and JWT library
massyl/hWifi
A simple wifi haskell executable to auto-connect to available Wifi.
massyl/jaspervdj
Source code of my personal home page.
massyl/keysnail
Allows you to bind commands to key sequences in Mozilla Firefox
massyl/KeySnail_Plugin
KeySnail_Plugin
massyl/learn-tt
A collection of resources for learning type theory.
massyl/learning-tools
A collection of tools and files for learning new technologies
massyl/leibniz-exploration
massyl/miscellaneous
contains functional code (Haskell, SML, Scala, OCaml....)
massyl/nifi
Mirror of Apache NiFi
massyl/papers-we-love
Papers from the computer science community to read and discuss.
massyl/propellor
property-based host configuration management in haskell
massyl/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
massyl/spring-cloud-microservice-example
An example project that demonstrates an end-to-end cloud native application using Spring Cloud for building a practical microservices architecture.
massyl/styleguides
A repository with a coding standard/style guide and conventions document for each of the languages I care about
massyl/tmuxinator
Manage complex tmux sessions easily
massyl/virtual-vehicles-docker
Repository for files related to containerizing Virtual-Vehicles project, using Docker. See blog post below for project details.
massyl/websockets
A Haskell library for creating WebSocket-capable servers
massyl/wiwinwlh
What I Wish I Knew When Learning Haskell
massyl/wreq
massyl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
massyl/You-Dont-Know-JS
A book series on JavaScript. @YDKJS on twitter.