Math
Mathematics: proofs, geometry, calculus, linear algebra, probability, statistics, and math explained visually.
-
Understand Data Science Course in Java alter-solutions.com
-
NBA Statistics nba-new.reflex.run
A data visualization app for NBA data.
-
Lectures pdos.csail.mit.edu
-
Videos pdos.csail.mit.edu
-
Marvin Minsky nytimes.com
-
NB nb.mit.edu
-
StatLearning lagunita.stanford.edu
-
Readings groups.csail.mit.edu
-
Practice Exams csce.uark.edu
-
Practice Problems cs61a.org
-
Lectures cs.princeton.edu
-
Exams courses.engr.illinois.edu
-
Exams courses.engr.illinois.edu
-
Topics Covered courses.csail.mit.edu
-
Advanced Algorithms courses.csail.mit.edu
-
Assignments, Tests, and Solutions courses.cs.washington.edu
-
Lecture Notes computationstructures.org
-
Labs-Assignments computationstructures.org
-
CS 452 cgl.uwaterloo.ca
-
STAT 340 andrewpbray.github.io
-
Exams ai.berkeley.edu
-
Separate the account, user and login/auth details news.ycombinator.com
Sound advice to lay down the foundation of a future-proof IAM API.
-
Statistical Atlas ec.europa.eu
A leaflet-powered atlas showcasing Eurostat's statistics.
-
Sylvester sylvester.jcoglan.com
Sylvester is a vector, matrix and geometry library for JavaScript.
-
WebGL Programming Guide: Interactive 3D Graphics Programming with WebGL amazon.com
by Kouichi Matsuda and Rodger Lea - WebGL Programming Guide will help you get started quickly with interactive WebGL 3D programming, even if you have no prior knowledge of HTML5, JavaScript, 3D graphics, mathematics, or OpenGL.
-
Nipashe nipashe.netlify.app
"Nipashe" is a Swahili word that means "Inform me". Nipashe is a web app built in Vue + Vuex(state management) + Vue-Router(navigation) that gives a tally/statistics on the current COVID19 infections across the world based on the WHO
-
The Mathematical Symphony of Typography pearsonified.com
-
Write Tests Like a Mathematician: Part 3 crunchingnumbers.live
-
Write Tests Like a Mathematician: Part 2 crunchingnumbers.live
-
Write Tests Like a Mathematician: Part 1 crunchingnumbers.live
-
builtwith trends trends.builtwith.com
Angular Usage Statistics.
-
3.14 Things I Didn’t Know About CSS vimeo.com
Mathias Bynens, CSS Day 45:35
-
CSS Math Functions stackdiary.com
Using CSS Math for responsive design.
-
ES5 based shims in pure CJS style gist.github.com
Array, Object, Number, Math and String functions/methods, plus Map, Set, Symbol and WeakMap objects
-
Proofs and Reliable Programming using Coq team.inria.fr
Introduction to developing and verifying programs with Coq.
-
An Introduction to MathComp-Analysis staff.aist.go.jp
Lecture notes on getting started with the Mathematical Components library and using it for classical reasoning and real analysis.
-
Volume 3: Verified Functional Algorithms softwarefoundations.cis.upenn.edu
Demonstration of how a variety of fundamental data structures can be specified and verified.
-
Volume 4: QuickChick softwarefoundations.cis.upenn.edu
Introduction to tools for combining randomized property-based testing with formal specification and proof.
-
Volume 1: Logical Foundations softwarefoundations.cis.upenn.edu
Introduction to functional programming, basic concepts of logic, and computer-assisted theorem proving.
-
Computer Arithmetic and Formal Proofs sciencedirect.com
Book that describes how to formally specify and verify floating-point algorithms in Coq using the Flocq library.
-
Proof General proofgeneral.github.io
Generic interface for proof assistants based on the extensible, customizable text editor Emacs.
-
Coq tag on Proof Assistants Stack Exchange proofassistants.stackexchange.com
-
Mike Nahas's Coq Tutorial mdnahas.github.io
Basics of using Coq to write formal proofs.
-
The Mathematical Components book math-comp.github.io
Book oriented towards mathematically inclined users, focusing on the Mathematical Components library and the SSReflect proof language.
-
Programs and Proofs ilyasergey.net
Book that gives a brief and practically-oriented introduction to interactive proofs in Coq which emphasizes the computational nature of inductive reasoning about decidable propositions via a small set of primitives from the SSReflect proof language.
-
lambda-rust gitlab.mpi-sws.org
Formal model of a Rust core language and type system, a logical relation for the type system, and safety proofs for some Rust libraries.
-
Prosa gitlab.mpi-sws.org
Definitions and proofs for real-time system schedulability analysis.
-
CoqInterval gitlab.inria.fr
Tactics for performing proofs of inequalities on expressions of real numbers.
-
Mathematical Components wiki github.com
-
proof-using-helper.py github.com
Modifies source files to include proof annotations for faster parallel proving.
- next page of items loading…
