Popular repositories Loading

1. miniml miniml Public

   Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.

   OCaml 30 6

2. logoturtle logoturtle Public

   An implementation of the Logo (turtle graphics) language in ocaml

   OCaml 7 2

3. svmexample svmexample Public

   Support Vector Machine example using Gurobi

   HTML 5 1

4. tankertrucks tankertrucks Public

   Routing tanker trucks with integer progamming and Gurobi

   HTML 2 2

5. spartan spartan Public

   A Sparse Trust-region Algorithm for Nonlinear Equations

   Fortran 1

6. hyperprojection hyperprojection Public

   Estimate points from projections on hyperplanes

   MATLAB 1