Popular repositoriesLoading

1. pigosatpigosatPublic

   Go (golang) bindings for Picosat, the satisfiability solver

   C 16 4

2. discoptdiscoptPublic

   Programming assignments for Coursera's 2013 Discrete Optimization course

   Java 2 2

3. iteriterPublic

   Go package iter demonstrates an iterator interface and protocol.

   Go 1

4. billibbillibPublic

   My personal library of random scripts, functions, and thoughts.

   Python

5. dotfilesdotfilesPublic

   Forked fromstartup-class/dotfiles

   Development configuration files for Startup Engineering MOOC. Intended to be forked and customized by students.

   Emacs Lisp

6. xlSudokuxlSudokuPublic

   Sudoku solver in Microsoft Excel

   Visual Basic