Lean evaluation and metaprogramming utilities for provers.
☆119Jun 3, 2026Updated 3 weeks ago
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:
- Automated High-Performance GPU Kernel Generation☆116Jun 1, 2026Updated 3 weeks ago
- This is the Python-based repository for Variational LOCC-assisted quantum circuits for long-range entangled states.☆11Nov 6, 2025Updated 7 months ago
- Code for simulations and plots for the paper "How to factor 2048 bit RSA integers with less than a million noisy qubits"☆20Apr 23, 2026Updated 2 months ago
- Rotation gate synthesis for early fault-tolerant quantum computing☆17Apr 27, 2026Updated 2 months ago
- astromonical fits image for python matplotlib☆25Oct 20, 2025Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Near-term quantum algorithm benchmarking for PDEs☆13Jun 6, 2024Updated 2 years ago
- Python package that generates QSP/GQSP phase factors using Non-Linear Fourier Analysis☆18Jun 9, 2026Updated 3 weeks ago
- Paper implementation of a 1-D quantum wave equation solver for arbitrary elastic media, initial conditions, and boundary conditions on ac…☆15Oct 1, 2025Updated 9 months ago
- A high-performance toolkit for quantum and classical chemistry calculations.☆56Updated this week
- A Logger For Flutter Apps☆15Jul 30, 2021Updated 4 years ago
- A compiler prototype targeting a bicycle architecture from PBC circuits☆41Apr 9, 2026Updated 2 months ago
- SIMPLE Algorithm for Driven Cavity problem on collocated grid using C++.☆20Feb 17, 2021Updated 5 years ago
- The CacULE CPU scheduler is based on interactivity score mechanism. The interactivity score is inspired by the ULE scheduler (FreeBSD sch…☆18Aug 20, 2022Updated 3 years ago
- Supplementary Material for arXiv:1905.06903☆18Mar 24, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Data recipes and robust infrastructure for training AI agents☆205Updated this week
- Source code of 2023 ITHome Ironman Challenge☆14Oct 1, 2023Updated 2 years ago
- With Flutter's App Lifecycle you can detect if your app moved to the background, foreground or if your app was closed.☆17Aug 21, 2023Updated 2 years ago
- Solving PDEs with quantum algorithms: A tutorial at IEEE QCE 2023☆25Sep 26, 2023Updated 2 years ago
- A plugin for the micro editor. Bookmark lines to quickly jump between saved positions.☆21Jun 14, 2026Updated 2 weeks 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
- Implementation of the paper "Opcodes as predictor for malware " by Daniel Bilar☆11Oct 17, 2020Updated 5 years ago
- ☆18Feb 4, 2016Updated 10 years ago
- Quantum computing > Algorithmic lattice surgery.☆58Jun 10, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆19May 28, 2026Updated last month
- Tensor networks package for solving PDEs; released as part of the “Tensor networks enable the calculation of turbulence distributions (20…☆24Aug 17, 2025Updated 10 months ago
- ESCAPE Data Science school 2022☆20Aug 10, 2022Updated 3 years ago
- ☆10Sep 24, 2019Updated 6 years ago
- ☆10Jun 5, 2021Updated 5 years ago
- ☆64Jun 2, 2026Updated 3 weeks ago
- Code for the paper: Fast and Private Inference of Deep Neural Networks by Co-designing Activation Functions☆12Mar 13, 2024Updated 2 years ago
- 北京 青年大学习 使用Github Actions自动完成☆10Nov 5, 2022Updated 3 years ago
- Unity Catalog AI Model Context Protocol Server☆16Mar 28, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 8 months ago
- A Synthetic Spectral Generation Suite☆27Apr 11, 2026Updated 2 months ago
- 畅阳在线教育系统(Online Education)，适用于个人、企业或机构搭建自己的在线学习平台。它提供了完整的解决方案，满足网校搭建、在线教学、企业培训和知识付费等多种需求☆24Aug 22, 2024Updated last year
- kMVX: Detecting Kernel Information Leaks with Multi-variant Execution☆23Aug 30, 2019Updated 6 years ago