220 Open source projects that are alternatives of or similar to stanford-introduction-to-mathematical-thinking

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

Example Test Cases for Stanford's Algorithms Coursera Specialization

[Coursera] Introduction to Discrete Mathematics for Computer Science Specialization

Scripts that illustrate basic cryptography concepts based on Coursera Standford Cryptography I course and more.

This repository contains my solutions to the assignments for Stanford's CS231n "Convolutional Neural Networks for Visual Recognition" (Spring 2020).

Curated list of publicly accessible machine learning engineering courses from CalTech, Columbia, Berkeley, MIT, and Stanford.

🙋 A Selenium based automated program that scrapes profiles data,stores in CSV,follows them and saves their profile in PDF.

Solutions for the book "Language Proof and Logic".

O(N log N)-space IPC solver in OCaml

A complete guide to start and improve in machine learning (ML), artificial intelligence (AI) in 2022 without ANY background in the field and stay up-to-date with the latest news and state-of-the-art techniques!

Univalent mathematics in Agda

Deep Learning Specialization Course by Coursera. Neural Networks, Deep Learning, Hyper Tuning, Regularization, Optimization, Data Processing, Convolutional NN, Sequence Models are including this Course.

Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten

Programming assignments and quizzes from all courses within the GANs specialization offered by deeplearning.ai

A repository to showcase my completed courses on the Coursera platform.

This Repository is all about the Various Concepts about the Number Theory related Algorithm. There is also some Solution to the Problem of Various Online Judges According to Topic.

GUI app for downloading whole online courses with folder structure from one url

Create linked objects (datapoints) of your devices with a self-defined structure. This makes it possible to create a structure in ioBroker, where all objects are centralized, e.g. to be used in the vis or scripts.

INACTIVE: Move your mouse, generate code from flow chart

A symbolic model checker for Dynamic Epistemic Logic.

Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)

A micro conditional javascript engine used to parse the raw logical and comparison expressions, evaluate the expression in the given data context, and provide access to a text form of the given expressions.

Crash course on python [Course 1 of 6 in the Google IT Automation with Python Specialization

Team reference for Competitive Programming. Algorithms implementations very used in the ACM-ICPC contests. Latex template to build your own team reference.

📊 All of courses, assignments, exercises, mini-projects and books that I've done so far in the process of learning by myself Machine Learning and Data Science.

No description or website provided.

📖 Free online courses resources.

Stanford CoreNLP in idiomatic Clojure.

A course to learn how to code a mobile app - for complete beginners

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

truth-table-generator is a tool that allows to generate a truth table

"How to Start a Startup" is the Y Combinator class made by real entrepreneurs

This is the Python implementation of the programming assignments in Andrew Ng's online machine-learning course.

Computational algebraic number theory

Solutions to "CS 97SI: Introduction to Competitive Programming Contests" by Stanford University

A research project in path semantics, a re-interpretation of functions for expressing mathematics

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

Vectorized Machine Learning in Python 🐍 From Scratch

Solutions to the assignments of the Coursera course "HTML, CSS, and Javascript for Web Developers" by Johns Hopkins University.

Model finder for higher-order logic

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

Applied Data Science with Python Specialization: Course 4 (University of Michigan)

coursera-task

Stanford University - Machine Learning by Andrew Ng

Solutions to Assignments of CS231n: Convolutional Neural Networks for Visual Recognition(http://cs231n.github.io/)

A predictable state management library that helps implement the BLoC design pattern

A curated list of awesome philosophy

Switch is a small logic game that demonstrates usage of Pixar USD and Hydra on Windows.

CS231n Assignments Solutions - Spring 2020

Here is All Weeks Assignment for Using Python to Access Web Data Course on Coursera

Python code to implement various number theory, elliptic curve and finite field computations.

Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models

TypeDB: a strongly-typed database

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Part of Google IT Automation with Python Professional Certificate. Solutions of Practice Quiz and Module Graded Assessments

This is my collection of various algorithms and data structures that I feel that are needed frequently in competitive programming .

Deeplearning.ai - Andrew Ng - Coursera

coursera

Notes for Machine Learning Engineering for Production (MLOps) Specialization course by DeepLearning.AI & Andrew Ng

Courses by University of Pennsylvania via Coursera