pirbo

pirbo's Stars

• coq/coq

  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.

  Language:OCaml4.8k10410.1k646

• dagrejs/dagre-d3

  A D3-based renderer for Dagre

  Language:JavaScript2.9k109338590

• ocaml-cross/opam-cross-windows

  An OCaml cross-toolchain for Windows and several useful libraries

  Language:Shell112135033

• seliopou/ocaml-d3

  OCaml bindings for D3.js

  Language:OCaml72766

• palaniraja/mclock

  Menu Clock - Additional clock on your mac menu bar

  Language:Objective-C687916

• evotools/hapbin

  Efficient program for calculating Extended Haplotype Homozygosity (EHH) and Integrated Haplotype Score (iHS)

  Language:C++4173917

• braibant/coq-tutorial-ml-tactics

  A tutorial on how to write OCaml tactics for the Coq proof assistant

  Language:OCaml23832

• skadge/squeakbot

  Image EToys spéciale Robotique Planète Sciences

  Language:C#4302