Math & CS awesome List, distinguished by proof and logic technique
Repository Index
47,133 repositories indexed
25–43 of 43 · Most stars
:small_red_triangle::sunglasses: A curated list of awesome stuff to learn computer graphics
A list of schools and researchers in computational neuroscience
- awesome-list
- awesome
- computational-neuroscience
- neuroscience
A list of recommended research papers and other readings on data visualization
Throw in the towel.
- dotnet
- towel
- csharp
- library
Cryptography Educational Foundations
The universe in numbers. Free, open-source calculators for everything countable.
MIT CS 6.042 opencourseware Fall 2010 problems + solutions
An interactive book about the Riemann problem for hyperbolic PDEs, using Jupyter notebooks.
- riemann-solver
- python
- jupyter-notebook
- book
An awesome list of resources for specific science, technology, engineering, art, and math (STEAM) classes that students and teachers can use to supplement their learning
- art
- awesome
- awesome-list
- engineering
Quickstart for building React single page apps using Coffeescript, Gulp, Webpack, and React-Router
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
- calculus
- counting
- functions
- graph
learning maths again
Free Course : Data, Machine Learning, Deep Learning and AI Engineering, the long way round: the math, the code, the systems and the security. 173 lessons, 166 runnable labs, no shortcuts. Free under CC BY-NC 4.0.
- ai-engineering
- course
- data-engineering
- deep-learning
Math snippets with graphic programming in mind.
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
proof script associated to tutorial material
Simple, reliable .NET libraries covering numbers, geometry and data structures
- collections
- geometry
- numerics
- csharp