Stars
Browse starred repositories and topics
Sort: Recently starred
Sort options
Starred Repositories
-
My solutions to Project Euler problems
-
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
-
The core OCaml system: compilers, runtime system, base libraries
-
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
-
Functional programming with OCaml - MOOC