Search Results for "aria2-static-builds"

Swift Numerics is a foundational library that extends the Swift standard library with essential numerical protocols, types, and functions needed for scientific and systems programming. It defines generic abstractions over real and complex numbers so algorithms can be written once and work across concrete floating-point types. The package includes RealModule utilities and a full Complex type with the expected arithmetic and transcendental functions, bridging a long-standing gap for numerics...

Napkin (also titled “An Infinitely Large Napkin”) is a lightweight, semi-formal introduction to higher mathematics, aimed at giving readers a bird’s-eye view over various mathematical fields. It is not a polished textbook full of full proofs; rather it offers clean definitions, theorem statements, intuitive motivations, and informal sketches of why things work, with the goal of building conceptual understanding. The coverage spans undergraduate and early graduate topics, designed to show how...

Seaborn is a Python data visualization library based on matplotlib. It provides a high-level interface for drawing attractive and informative statistical graphics. Seaborn helps you explore and understand your data. Its plotting functions operate on dataframes and arrays containing whole datasets and internally perform the necessary semantic mapping and statistical aggregation to produce informative plots. Its dataset-oriented, declarative API lets you focus on what the different elements of...

The canonical Homotopy Type Theory informal textbook, initiated at the Institute for Advanced Study (2012–13) under the Univalent Foundations project. It presents the theory pedagogically without requiring technical proof assistant use.

This is python2.7.3 which can be compiled using android-ndk By using python ,Its is possible to run lot of great application in android phone. At the time of writing I could run IPython, Isympy, Django etc on my android phone. This project only considering command-line binary builds. Not any GUI apps.

Project to Design and Implement a new programming language. The language is named Hybrid (c), as it's nature. We "build on" existing languages (Python & others), and not start from scratch (as C++ builds on C). see Docs.