Popular repositories Loading

1. slambidding slambidding Public

   a python framework for constructing and interacting with a (primitive) computer bridge bidding engine

   Python 1

2. AWS2013 AWS2013 Public

   numerical examples for AWS2013 exercise A4

   Python

3. el-get el-get Public

   Forked from dysinger/el-get

   Manage the external elisp bits and pieces upon which you depend!

   Emacs Lisp

4. scicast_position_finder scicast_position_finder Public

   Forked from bengolden/scicast_position_finder

   Tool for finding your edits and exposure on SciCast

   Python

5. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean

6. .emacs.d .emacs.d Public

   Emacs Lisp