sahanbull / VLE-Dataset
☆11Updated last year
Alternatives and similar repositories for VLE-Dataset:
Users that are interested in VLE-Dataset are comparing it to the libraries listed below
- Code from CS152 lectures☆13Updated last month
- Theory of Computing Report☆12Updated 7 months ago
- An introduction to theorem proving in Lean for the impatient.☆17Updated last month
- Reading list for Probability and Statistics☆27Updated 2 years ago
- Programming assignments and quizzes completed as part of the course Mathematics for Machine Learning Specialization by Imperial College L…☆31Updated 4 years ago
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆10Updated 2 months ago
- Jupyter notebooks with some NAND code☆19Updated 6 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆72Updated last year
- README☆10Updated 10 months ago
- An open source Linear Algebra textbook by Peter Selinger, based on the original text by Lyryx Learning and Ken Kuttler.☆19Updated 6 months ago
- Lindemann–Weierstrass Theorem☆11Updated last year
- This Repository Contains Solution to the Assignments of the Generative Adversarial Networks (GANs) Specialization from deeplearning.ai on…☆28Updated 2 years ago
- Emoji support in (Lua)LaTeX☆74Updated last year
- P.D. Magnus' forallx logic textbook☆65Updated last month
- Solutions of Deep Learning Specialization by Andrew Ng on Coursera☆16Updated 2 years ago
- Solution to Algebra, Chapter 0☆88Updated 3 weeks ago
- A python library to manipulate formal languages and various automata☆48Updated last week
- Software introduced in the Deep Learning for NLP: A Gentle Introduction book☆19Updated last month
- Mathematical & Statistical topics to perform statistical analysis and tests; Linear Regression, Probability Theory, Monte Carlo Simulatio…☆139Updated last year
- Minimalist BERT implementation assignment for CS11-711☆82Updated 2 years ago
- ISLP package: data and code for labs☆21Updated last year
- Theorem Proving in Lean 4☆178Updated 6 months ago
- Basic guidance on how to contribute to Papers with Code☆23Updated 3 years ago
- OpenType sans-serif math font☆66Updated 4 months ago
- Listing of online math seminars☆43Updated 7 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Multivariable calculus course materials☆55Updated 9 years ago
- A Lean 4 Jupyter kernel via repl☆26Updated 5 months ago
- Writing proofs to Twitter since April 2020☆11Updated 2 years ago
- Hosting the scikit-learn blog.☆19Updated 2 months ago