Pinned Loading

1. dotfiles dotfiles Public

   These are my dot files!

   Vim Script

2. typechecking typechecking Public

   type checking algorithms for various type systems

   Haskell

3. algorithms-latex algorithms-latex Public

   Latex files for Randomized Algorithms homework

   TeX

4. cats cats Public

   Forked from typelevel/cats

   Lightweight, modular, and extensible library for functional programming.

   Scala

5. elastic4s elastic4s Public

   Forked from Philippus/elastic4s

   Non blocking, type safe DSL and Scala client for Elasticsearch

   Scala

6. python-neo python-neo Public

   Forked from NeuralEnsemble/python-neo

   Neo is a package for representing electrophysiology data in Python, together with support for reading a wide range of neurophysiology file formats

   Python