massyl's repositories
atp-haskell
Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
dotFiles
my own configuration files
haskell-mode
Emacs mode for Haskell
haskell-tor
A Haskell implementation of the Tor protocol.
hs-jose
Haskell JOSE and JWT library
jaspervdj
Source code of my personal home page.
keysnail
Allows you to bind commands to key sequences in Mozilla Firefox
KeySnail_Plugin
KeySnail_Plugin
learn-tt
A collection of resources for learning type theory.
learning-tools
A collection of tools and files for learning new technologies
miscellaneous
contains functional code (Haskell, SML, Scala, OCaml....)
papers-we-love
Papers from the computer science community to read and discuss.
propellor
property-based host configuration management in haskell
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
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.
styleguides
A repository with a coding standard/style guide and conventions document for each of the languages I care about
tmuxinator
Manage complex tmux sessions easily
virtual-vehicles-docker
Repository for files related to containerizing Virtual-Vehicles project, using Docker. See blog post below for project details.
websockets
A Haskell library for creating WebSocket-capable servers
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
You-Dont-Know-JS
A book series on JavaScript. @YDKJS on twitter.