Hide content and notifications from this user.
Contact Support about this user's behavior.
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.
An intelligent — pure Ruby — WHOIS client and parser.
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Ruby enVironment Manager (RVM)
ContentMine Fork of the WWMM svg Package
Parent POM for ContentMine Java/MVN stack
ContentMine Fork of the WWMM Euclid Package
Convert XML/SVG/PDF into normalised, sectioned, scholarly HTML
ArgProcessor and files for basic CMDirectories. Often subclassed. Needs to be separate from euclid and norma
Library to build diagram primitives and diagrams from vectors (and possibly pixels)
ContentMine Fork of the WWMM imageanalysis Package
ContentMine Fork of the WWMM svg2xml Package
ContentMine Fork of the WWMM pdf2svg Package
ContentMine Fork of the WWMM html Package
Extraction of data from Vector-based Funnel Plots in the scholarly literature
Spike to test Maven's SCM plugin
GitHub README badge to support GPL enforcement
ContentMine virtual machines
Get metadata, fulltexts or fulltext URLs of papers matching a search query
Stack overflow command line client. Search and browse stack overflow without leaving the terminal 💻
Let's Encrypt Client Done Right