adi's Projects
500 AI Machine learning Deep learning Computer vision NLP Projects with code
Repository which contains links and resources on different topics of Computer Science.
Automated Reasoning For Data Science
Program that utilizes truth table enumeration and checks for entailment. Also implements WalkSAT to check for model satisfiability.
π Awesome lists about all kinds of interesting topics
A curated list of Artificial Intelligence (AI) courses, books, video lectures and papers.
The most cited deep learning papers
A list of awesome beginners-friendly projects.
A curated list of awesome Machine Learning frameworks, libraries and software.
:book: A curated list of resources dedicated to Natural Language Processing (NLP)
List of projects related to Natural Language Processing (NLP) that make a geek smile for they exist
Curated list of Machine Learning, NLP, Vision, Recommender Systems Project Ideas
A curated list of awesome Python frameworks, libraries, software and resources
A toy C compiler
Bitwise is an educational project where we create the software/hardware stack for a computer from scratch.
Writing an OS in Rust
π€ Build your own (insert technology here)
Codeforces - Algorithm Solutions
Solutions for various coding/algorithmic problems and many useful resources for learning algorithms and data structures
My random competitive programming solutions (and other stuff)
Discrete Structures: sets and binary relations, functions, ο¬rst-order logic, proof techniques, algebraic systems, vectors and matrices, and ο¬nite state machines, applications of graph theory to computer science and combinational computing are also introduced.
Course notes for CS323: Automated Reasoning
Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 175 universities.