Username:
seanmcl@gmail.com
Starred developers:
None
| 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
|