adamduracz/free-programming-books
Public repository.
JavaScript toolkit for creating interactive real-time graphs
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Public repository.
A theorem prover specialised in deciding inequalities of non-linear real and floating-point expressions using rigorous polynomial approximations. Includes tools for verifying floating-point SPARK 2005 programs.
A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation.
An application to easily create highlighting for custom languages for RSyntaxTextArea.