A drag-and-drop quantum circuit simulator that runs in your browser. A toy for exploring and understanding small quantum circuits.

A user-friendly optimized Rust CLI for Keplerian orbit fitting radial velocity time series.

High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)

A curated list of resources about post-quantum cryptography.

Zero Knowledge Proof for resource estimates of Elliptic Curve Point Addition Quantum Circuits.

Cheddar: A Swift Fully Homomorphic Encryption (FHE) GPU Library

A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.

Public repository for examples created by QuEra.

The first open-source agentic AI physicist, by Physical Superintelligence PBC (PSI).

Official code for "Learning to compute Gröbner bases" (NeurIPS 2024)

Issue tracker for the Magma Computational Algebra System

PQC-LEO is a comprehensive benchmarking and evaluation framework for Post-Quantum Cryptography (PQC), built for researchers. Automates the setup, testing, and analysis of computational and TLS-base…

BioNeMo Framework: For building and adapting AI models in drug discovery at scale

Graph Neural Network Library for PyTorch

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

Cryptographic signature algorithms: DSA, ECDSA, Ed25519

AlphaGeometry2 symbolic engine (DDAR) with examples

Repo to the paper "Lie Point Symmetry Data Augmentation for Neural PDE Solvers"

⚡ Triton implementation of Clifford algebra neural networks.

⚡ Triton implementation of Clifford algebra neural networks.

The repository provides code for running inference with the Meta Segment Anything Audio Model (SAM-Audio), links for downloading the trained model checkpoints, and example notebooks that show how t…

Provides a language for specifying quantum networks (in the form of "recipes"), and a collection of analytical and numerical tools for evaluating their performance.

Formally Verified Arguments of Knowledge in Lean

Quantum Hardware Design. Open-source project for engineers and scientists to design superconducting quantum devices with ease.