Username:
seanmcl@gmail.com
Starred developers:
None
| Projects |
|---|
| Role | Project | Summary |
|---|---|---|
| Owner | coq-galois-theory | A formalization of the Fundamental Theorem of Galois Theory in the Coq proof assistant |
| Owner | flyspeck | The Flyspeck Project |
| Owner | haskellatp | Haskell port of Harrison's Handbook of Practical Logic and Automated Reasoning |
| Owner | kepler-code | Electronic recources supporting the proofs of the Kepler and Dodecahedral conjectures |
| Owner | ocaml-cfsqp | Objective Caml bindings for the CFSQP nonlinear optimization library. |
| Owner | ocaml-mpfi | Objective Caml bindings for the MPFI interval arithmetic library. |
| Owner | seanmcl-holl-lib | HOL Light code |
| Owner | seanmcl-ocaml-glpk | GLPK stubs for OCaml |
| Owner | seanmcl-ocaml-lib | A personal library for Objective Caml. |
| Owner | sml-ext | Standard ML utilities |
| Starred by seanmcl@gmail.com |
|---|
| Type | Name | Summary |
|---|---|---|
| Project | sml-ext | Standard ML utilities |
| Project | ejacs | JavaScript/EcmaScript interpreter for Emacs |
| Project | happs-tutorial | a HAppS tutorial, with login authentication and beyond |