Popular repositories Loading

1. paper_summary paper_summary Public

   A summary of papers that I'll read over the years

   2 2

2. HaskellProgramming HaskellProgramming Public

   solutions to haskell programming book

   Haskell

3. haskelldb haskelldb Public

   Forked from m4dc4p/haskelldb

   A library for building re-usable and composable SQL queries.

   Haskell

4. mysql2sqlite mysql2sqlite Public

   Forked from mysql2sqlite/mysql2sqlite

   Converts MySQL dump to SQLite3 compatible dump

   Awk

5. softwareFundation softwareFundation Public

   A repo for Coq practices

   HTML

6. cs517 cs517 Public

   TeX