Competitive Programming Training

A curated list of free courses from reputable universities that meet the requirements of an undergraduate curriculum in Data Science, excluding general education. With projects, supporting materials in an organized structure.

✨ Standard library for JavaScript and Node.js. ✨

CoCalc: Collaborative Calculation in the Cloud

🌆 Some of my coding side projects

A numerical linear algebra library for C++

upload the trials concerning mathematics

AlgoPlus is a C++17 library for complex data structures and algorithms

Library for the analysis of networks

Viagem Matemática: Explorando o Universo dos Números

AUDP transfers analog data in a unicast manner between two TCP/IP-compliant machines.

Linear equation systems solver

Calculate Pi to the given number of decimal digits

Software for Weighted Orthogonal Distance Regression with Bound Constraints

Arithmetic package for Fōrmulæ, in JavaScript

Standard library statistical functions.

A human-friendly and developer-friendly math proof assistant

This project consists of creating a "summary" containing all math, physics and other science stuff that I find interesting.

In this manuscript, we show new binomial identities in iterated rascal triangles, revealing a connection between the Vandermonde convolution and iterated rascal numbers. We also present Vandermonde-like binomial identities. Furthermore, we establish a relation between iterated rascal triangle and (1,q)-binomial coefficients.

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.