Lean evaluation and metaprogramming utilities for provers.
☆110Jun 3, 2026Updated last week
Alternatives and similar repositories for axiom-lean-engine
Users that are interested in axiom-lean-engine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is the Python-based repository for Variational LOCC-assisted quantum circuits for long-range entangled states.☆11Nov 6, 2025Updated 7 months ago
- ☆17Nov 6, 2023Updated 2 years ago
- Rotation gate synthesis for early fault-tolerant quantum computing☆17Apr 27, 2026Updated last month
- Near-term quantum algorithm benchmarking for PDEs☆12Jun 6, 2024Updated 2 years ago
- Python package that generates QSP/GQSP phase factors using Non-Linear Fourier Analysis☆18Jun 3, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Paper implementation of a 1-D quantum wave equation solver for arbitrary elastic media, initial conditions, and boundary conditions on ac…☆14Oct 1, 2025Updated 8 months ago
- A high-performance toolkit for quantum and classical chemistry calculations.☆50Updated this week
- A compiler prototype targeting a bicycle architecture from PBC circuits☆39Apr 9, 2026Updated 2 months ago
- Public release of stabilizer TN publication☆16Updated this week
- A Variational Quantum Linear Solver Prototype for Qiskit☆22Nov 27, 2024Updated last year
- Supplementary Material for arXiv:1905.06903☆18Mar 24, 2024Updated 2 years ago
- Source code of 2023 ITHome Ironman Challenge☆14Oct 1, 2023Updated 2 years ago
- Solving PDEs with quantum algorithms: A tutorial at IEEE QCE 2023☆25Sep 26, 2023Updated 2 years ago
- This repository is deprecated. All of its content and history has been moved to googleapis/google-cloud-node.☆13Jul 20, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Implementation of the paper "Opcodes as predictor for malware " by Daniel Bilar☆11Oct 17, 2020Updated 5 years ago
- ☆18Feb 4, 2016Updated 10 years ago
- MCP server for Ethereum research: EIP-1559, Blobs, and MEV analytics powered by Dune☆23Nov 27, 2025Updated 6 months ago
- Quantum computing > Algorithmic lattice surgery.☆57May 30, 2026Updated last week
- Tensor networks package for solving PDEs; released as part of the “Tensor networks enable the calculation of turbulence distributions (20…☆23Aug 17, 2025Updated 9 months ago
- ☆10Sep 24, 2019Updated 6 years ago
- Compiler for a simplified version of Rust developed in OCaml under Jean Christophe Filliatre Supervision (https://www.lri.fr/~filliatr/in…☆13Aug 8, 2020Updated 5 years ago
- ☆62Jun 2, 2026Updated last week
- Code for the paper: Fast and Private Inference of Deep Neural Networks by Co-designing Activation Functions☆11Mar 13, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- It's a project for making brainstorm eaiser when using keyboard.☆19Jul 15, 2025Updated 10 months ago
- PyTorch reimplementation of the paper "HyperMixer: An MLP-based Green AI Alternative to Transformers" [arXiv 2022].☆18Mar 28, 2022Updated 4 years ago
- Practical Tamper-Proof System Auditing☆15Oct 19, 2023Updated 2 years ago
- Rust bindings for googleprojectzero/TinyInst☆25Dec 3, 2025Updated 6 months ago
- Code for "What really matters in matrix-whitening optimizers?"☆24Oct 31, 2025Updated 7 months ago
- kMVX: Detecting Kernel Information Leaks with Multi-variant Execution☆23Aug 30, 2019Updated 6 years ago
- ☆29May 29, 2026Updated last week
- 用于识别各种普通验证码的工具模块☆16Mar 13, 2019Updated 7 years ago
- A Python client for the GraphSense REST interface.☆20Sep 5, 2025Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Quantum error correction code AI-discovery with Jax☆48May 26, 2025Updated last year
- CPU and GPU tutorial examples☆13Apr 4, 2025Updated last year
- A rust implementation of a key-value store with Log-Structured Merge Trees.☆15Nov 12, 2021Updated 4 years ago
- Post processing library used to analyze memory snapshots☆32May 29, 2026Updated last week
- Large language models to diffusion finetuning code☆26Jun 2, 2025Updated last year
- Qclib is a quantum computing library implemented using qiskit. The focus of qclib is on preparing quantum states, but it is not limited t…☆45Apr 7, 2026Updated 2 months ago
- 详细双语注释版word2vec源码，well-annotated word2vec☆10Oct 3, 2021Updated 4 years ago