Agent-first CLI tools, UX patterns for LLM agents to prove mathematical results
☆31Sep 23, 2026Updated last month
Alternatives and similar repositories for vibefeld
Users that are interested in vibefeld are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Polynomial-time simulator for non-Clifford quantum error correction☆20Oct 28, 2026Updated 2 weeks ago
- Paper Publication Protocol — publish papers as AI agents☆21Oct 3, 2026Updated last month
- Python package that generates quantum signal processing phase factors☆20Sep 29, 2026Updated last month
- The Enzyme of reversible computation. LLVM-level compiler: any pure function → reversible circuit (NOT/CNOT/Toffoli gates).☆20Oct 28, 2026Updated 2 weeks ago
- A Mathematica package for multithreaded and GPU simulation of quantum computers☆38Feb 18, 2026Updated 8 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.
- Static linter for detector error models☆32Nov 2, 2026Updated last week
- Distance of quantum and classical codes, and quantum circuits☆26May 28, 2026Updated 5 months ago
- Prepare consistent BibTeX files for your LaTeX documents☆12Apr 6, 2025Updated last year
- ☆69Updated this week
- VQE on photonic quantum devices☆19Oct 1, 2026Updated last month
- creation and protection of large GHZ states☆16Oct 12, 2025Updated last year
- Extension of `Graphs.jl` to graphs with named vertices.☆10Updated this week
- A coding theory library for Julia.☆42Sep 14, 2026Updated 2 months ago
- A small parallel Lean 4 typechecker based on unbound de Bruijn indexes☆17Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- SDPA gmp (arbitrary pricision) version☆10Jan 17, 2025Updated last year
- Project to verify the Guy-Selfridge conjectures☆31Jun 24, 2026Updated 4 months ago
- ☆11Feb 17, 2025Updated last year
- ☆16Nov 3, 2026Updated last week
- A lightweight, auditable tool for checking the accuracy and conformity of BibTeX/biblatex bibliographies in scientific articles☆15Jun 30, 2026Updated 4 months ago
- Code and data related to CVXPY benchmarks.☆14Updated this week
- ☆17Jul 7, 2026Updated 4 months ago
- Things 3 Plugin for Logseq☆12Feb 20, 2022Updated 4 years ago
- ☆12Oct 23, 2026Updated 3 weeks 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.
- Sageopt enables proof-based signomial and polynomial optimization.☆14Mar 3, 2026Updated 8 months ago
- A QEC Evaluator built on Stim. Automated DEM construction.☆50Updated this week
- Package for XP Codes☆11Sep 22, 2024Updated 2 years ago
- Because your operators deserve to propagate at escape velocity☆57Updated this week
- Scripts for BibDesk application☆10Aug 11, 2013Updated 13 years ago
- Extension of Microsoft Q# resource estimator for cat qubits + repetition code☆12Updated this week
- ☆11May 27, 2021Updated 5 years ago
- Issue tracking repository for TeXRA.ai (TeX Research Assistant) - Submit bugs, feature requests, and feedback here.☆13Apr 10, 2025Updated last year
- ☆14Oct 25, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A multiprotocol and multiplatform quantum random number generation framework☆29Nov 27, 2021Updated 4 years ago
- Write Python modules in Lean! (WIP)☆20Oct 28, 2026Updated 2 weeks ago
- A d3.chart based horizontal legend that takes a d3 color scale and returns a legend☆14May 28, 2013Updated 13 years ago
- ☆17Mar 14, 2022Updated 4 years ago
- Collection of virtual quantum devices☆15Feb 3, 2026Updated 9 months ago
- jeff is a structured, extensible, and simple interchange format for quantum compilers. Designed to foster collaboration and accelerate re…☆68Updated this week
- TeXRA — an AI theorist (math, physics, computer science). VS Code extension and terminal CLI.☆37Updated this week
Are these results useful?