Math
Mathematics: proofs, geometry, calculus, linear algebra, probability, statistics, and math explained visually.
-
move-vernaculars.py github.com
Lifts many vernacular commands and inner lemmas out of proof script blocks.
-
Tactician coq-tactician.github.io
Interactive tool which learns from previously written tactic scripts across all the installed Coq packages and suggests the next tactic to be executed or tries to automate proof synthesis fully.
-
Certified Programming with Dependent Types adam.chlipala.net
Textbook about practical engineering with Coq which teaches advanced practical tricks and a very specific style of proof.
-
Math github.com
Math utility functions. From Starcoin.
-
vsl.quaternion github.com
Quaternion math module for VSL. Supports 3D rotations, spherical linear interpolation (slerp), and Julia fractal generation.
-
flyology-numa github.com
Memory-node topology reporting, memory placement on a chosen node, and node-bound storage pools.
-
-
Trigonometry math functions (by trancexx) autoitscript.com
-
Advanced Math UDF (by scintilla4evr) autoitscript.com
-
Scientific Maths autohotkey.com
-
LMath sourceforge.net
. [FPC] Provides routines and demo programs for numerical analysis, including mathematical functions, probabilities, matrices, optimization, linear and nonlinear equations, integration, Fast Fourier Transform, random numbers, curve fitting, statistics and graphics. It is…
-
Fundamentals Code Library sourceforge.net
(abandoned, more recent fork is here - though it slightly differs in units set, f.ex. no XML. Recent major version 5 here). [Delphi] [FPC] Collection of Delphi / FreePascal code units. Includes libraries for Unicode, Strings, Data Structures, Sockets and Mathematics. // Utils…
-
Blaise sourceforge.net
. [Delphi] Open-source object-oriented scripting language. Language features: Object-oriented; Unicode support; Optional typing, ie dynamic or static typing; Richly typed; Higher-level mathematics support, for example Complex numbers, Rational numbers and Matrices; Virtual…
-
Asphyre aka Platform eXtended Library (PXL) sourceforge.net
. [Delphi] [FPC] Cross-platform framework for developing 2D/3D video games, interactive and scientific applications. It aids the developer with mathematics, hardware control, resource management, displaying real-time graphics and text, handle user input and network…
-
MapFileStats delphitools.info
. [Delphi] Tool that provides simple binary size statistics from .MAP files (any Delphi version up to at least Delphi XE5).
-
ALGLIB alglib.net
. [Delphi] [FPC] Cross-platform numerical analysis and data processing library. It supports several operating systems (Windows and POSIX, including Linux). ALGLIB features include: Data analysis (classification/regression, statistics); Optimization and nonlinear solvers…
-
NAG Fortran Library nag.co.uk
Produced by experts for use in a variety of applications, the NAG Fortran Library has a global reputation for its excellence and, with hundreds of fully documented and tested routines, is the largest collection of mathematical and statistical algorithms available
-
IMSL imsl.com
The IMSL Fortran Numerical Library is the standard for high performance computing commercial mathematics and statistics libraries
-
Test::Harness metacpan.org
Run Perl standard test scripts with statistics
-
StatQuest with Josh Starmer youtube.com
The Statistics and Machine Learning in R playlist deals with principal component analysis, random forest, regression, ROC and AUC, and ridge, lasso and elastic-net.
-
David Jablonski youtube.com
The UC Berkeley R Bootcamp playlists include videos on R basics, handling data, performing calculations, programming, graphics, workflows, and statistics.
-
Statistics Globe youtube.com
A collection of short but detailed tutorials on how to work through common problems you will face while using R. Topics include data formatting, reordering data, strings, and ggplot2.
-
Data Analysis and Visualization Using R youtube.com
Topics for the online course Data Analysis and Visualization Using R.
-
Richard Webster youtube.com
Topics include the paste function, the apply family of functions, while and for loops, conditional statements, visualization, removing NAs, and combining data.
-
MarinStatsLectures youtube.com
Topics include descriptive statistics, ANOVA, bootstrapping, linear regression, bivariate analysis, and probability distributions.
-
Numyard youtube.com
Topics include working with dataframes, for loops, basic math, vectors, lists, creating functions, data types, and random sampling.
-
Dragonfly Statistics youtube.com
Topics include numerical computing, generating random walks, markov chains, encoding categorical variables, probability, correlation plots, feature engineering, time series, binary classifiers, models, data.table, confusion matrices, machine learning, geocoding, summary…
-
The Book of R web.itu.edu.tr
The aim of The Book of R: A First Course in Programming and Statistics is to provide a relatively gentle yet informative exposure to the statistical software environment R, alongside some common statistical analyses, so that readers may have a solid foundation from which to…
-
Tutorials Point tutorialspoint.com
The tutorials are grouped into categories (R tutorial, R Data Interfaces, R Charts & Graphs, R Statistics Examples, R Useful Resources) that cover in-depth all the basic needs for someone starting learning the R programming language.
-
Descriptive statistics in R statsandr.com
This article explains how to compute the main descriptive statistics in R and how to present them graphically. Author - Antoine Soetewey.
-
Stats and R statsandr.com
Through his blog, Antoine Soetewey (PhD in statistics) aims at helping academics and professionals working with data to grasp important statistical concepts, and shows how to apply them in R.
-
Statistics Globe statisticsglobe.com
Joachim Schork started this platform to share his statistical know-how and to improve his own statistical skills by discussing with other statisticians and programmers.
-
stat.berkeley - Introduction to Functions stat.berkeley.edu
An introduction to functions in the R language by the organizers of Integrating Computing into the Statistics Curricula (U.C. Berkeley).
-
Subreddit - r/Rlanguage - R Programming Language reddit.com
A Reddit subreddit focused on implementing the R programming language for statistics and data science.
-
Descriptive Statistics rcompanion.org
A tutorial of descriptive statistics which are used to summarize data in a way that provides insight into the information contained in the data. Author: Salvatore S. Mangiafico.
-
Introduction to Data Science - Data Analysis and Prediction Algorithms with R rafalab.github.io
This book started out as the class notes used in the HarvardX Data Science Series. It introduces concepts and skills that can help you tackle real-world data analysis challenges. It covers concepts from probability, statistical inference, linear regression, and machine…
-
Modern Statistics with R modernstatisticswithr.com
From wrangling and exploring data to inference and predictive modelling. The book includes plenty of examples and more than 200 exercises with worked solutions. Author: Måns Thulin.
-
Statistical Inference via Data Science moderndive.com
This is intended to be a gentle introduction to the practice of analyzing data and answering questions using data the way data scientists, statisticians, data journalists, and other researchers would. Authors: Chester Ismay and Albert Y. Kim.
-
Essential Math for Data Science medium.com
An article discussing the key mathematical topics to master to become a better data scientist. Author: Tirthajyoti Sarkar.
-
Learning Statistics with R learningstatisticswithr.com
Learning Statistics with R covers the contents of an introductory statistics class, as typically taught to undergraduate psychology students, focusing on the use of the R statistical software. Author: Danielle Navarro.
-
Introduction to Data Analysis with R jmbuhr.de
This is a lecture series with videos, scripts and exercises introducing R and the tidyverse as well as statistical concepts.
-
An Introduction to R intro2r.com
The aim of this book is to introduce you to using R, a powerful and flexible interactive environment for statistical computing and research. Authors: Alex Douglas, Deon Roos, Francesca Mancini, Ana Couto & David Lusseau
-
R - discoRd server discord.gg
Dedicated discoRd server with the following topic-based channels: R-Main for more general discussions, R-Share for showing off your data visuals, General R Help for asking questions and sharing learning resources, and Topical Help/Discussion for issues dealing with statistics…
-
Answering Questions with Data crumplab.github.io
This is a free textbook teaching introductory statistics for undergraduates in Psychology. The textbook was written with math-phobia in mind and attempts to reduce the phobia associated with arithmetic computations. Author: Matthew J. C. Crump.
-
Practicals and Exercises columbia.edu
This series of exercises reviews some of the content discussed during the author's lectures, and introduces some other basic concepts about working with data in R. Author: Charles DiMaggio, PhD.
-
The chapter on closures letoverlambda.com
Has several non-trivial examples, and demonstrates the power of this feature.
-
Exercism exercism.org
.
-
Explore Statistics with R edx.org
-
Introduction to Probability and Statistics Using R atmos.albany.edu
The book can be subdivided into three basic parts. The first part includes the introductions and elementary descriptive statistics; I want the students to be knee-deep in data right out of the gate. The second part is the study of probability, which begins at the basics of sets…
-
Wykobi wykobi.com
A C++ library of efficient, robust and simple to use C++ 2D/3D oriented computational geometry routines. [MIT]
- next page of items loading…
