Stars
Clifford circuits, graph states, and other quantum Stabilizer formalism tools.
A community-maintained Python framework for creating mathematical animations.
Auto_Jobs_Applier_AIHawk is a tool that automates the jobs application process. Utilizing artificial intelligence, it enables users to apply for multiple jobs in an automated and personalized way.
A modern computer algebra library for Python and Rust.
A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.
An extremely fast Python package and project manager, written in Rust.
An introduction to theorem proving in Lean for the impatient.
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
Lean theorem proving interface which feels like pen-and-paper proofs.
High accuracy RAG for answering questions from scientific documents with citations
A fast library for AutoML and tuning. Join our Discord: https://discord.gg/Cppx2vSPVP.
Time-series machine learning at scale. Built with Polars for embarrassingly parallel feature extraction and forecasts on panel data.
The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑🔬
real time face swap and one-click video deepfake with only a single image
A package for decoding Stim circuits using belief propagation with ordered statistics decoding (BP+OSD)
GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.
DeepSpeed is a deep learning optimization library that makes distributed training and inference easy, efficient, and effective.
Fast parallel LLM inference for MLX
Perplexica is an AI-powered search engine. It is an Open source alternative to Perplexity AI
Qrisp - a framework for high-level programming of Quantum computers
Mitiq is an open source toolkit for implementing error mitigation techniques on most current intermediate-scale quantum computers.