Machine Learning for Go

Disproof of the Aharoni–Korman conjecture

Lean 4 programming language and theorem prover

Quantum computing using rust. Efficient and a borrow-checked no cloning theorem!

A QASM interpreter and quantum simulator in Rust

Advanced Rust quantum computer simulator

Mitiq is an open source toolkit for implementing error mitigation techniques on most current intermediate-scale quantum computers.

Quantum Computer Library for Everyone

A collection of guidelines to run quantum optimization algorithms on superconducting qubits with Qiskit, using as reference the Quantum Approximate Optimization Algorithm (QAOA) workflow.

A library of quantum algorithms for Qiskit.

Curated list of open-source quantum software projects.

Introductions to key concepts in quantum programming, as well as tutorials and implementations from cutting-edge quantum computing research.

Tutorials and programming exercises for learning Q# and quantum computing

Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.

A fast stabilizer circuit library.

Here you can get all the Quantum Machine learning Basics, Algorithms ,Study Materials ,Projects and the descriptions of the projects around the web

A curated list of awesome quantum computing learning and developing resources.

A Python framework for creating, editing, and invoking Noisy Intermediate-Scale Quantum (NISQ) circuits.

Waymo Open Dataset

dataset and code for 2016 paper "Learning a Driving Simulator"

An awesome list of self-driving cars

Autoware - the world's leading open-source software project for autonomous driving

Neural MMO - A Massively Multiagent Environment for Artificial Intelligence Research

The Unity Machine Learning Agents Toolkit (ML-Agents) is an open-source project that enables games and simulations to serve as environments for training intelligent agents using deep reinforcement …

CircuitPython - a Python implementation for teaching coding with microcontrollers

📚 Learn to write an embedded OS in Rust 🦀

My understanding of Russ Tedrake's course on umderacuated robotics, implemented in MuJoCo

Model-based design and verification for robotics.

Hello AI World guide to deploying deep-learning inference networks and deep vision primitives with TensorRT and NVIDIA Jetson.

🤖 The MoveIt motion planning framework