☆35Sep 2, 2026Updated last month
Alternatives and similar repositories for ZetaZeros
Users that are interested in ZetaZeros are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.☆14Jan 14, 2025Updated last year
- Listen to Spotify together — real-time playback sync, shared queue, guest controls, and live avatars. Built for Spicetify.☆23Oct 1, 2026Updated 2 weeks ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆21Updated this week
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- Conditional Lean formalization and numerical certificate for prime gaps at most 186.☆167Sep 2, 2026Updated last month
- 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.
- ☆39Sep 27, 2026Updated 3 weeks ago
- Spatial Spectral Machine Learning☆14Oct 15, 2025Updated last year
- Single neuron simulator/ prediction benchmark; uses Hodgkin-Huxley with novel mechanisms☆47Aug 12, 2026Updated 2 months ago
- SHAP-Based Interpretable Object Detection Method for Satellite Imagery☆14Jul 29, 2022Updated 4 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆17May 18, 2022Updated 4 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard to…☆86Aug 30, 2026Updated last month
- Reverse-engineer any video (YouTube, TikTok, Reels, X...) into a reusable blueprint for making similar videos. A Claude Code skill.☆27Oct 11, 2026Updated last week
- ☆15Mar 25, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆72Updated this week
- Reproduction code for Lattice Deduction Transformers☆42Updated this week
- A Yazi plugin that adds the functionality to close and restore tab.☆17May 30, 2026Updated 4 months ago
- NCM: Next Concept Modeling☆127Updated this week
- Lean formalizations for the paper "On the paucity of lattice triangles"☆19Sep 11, 2026Updated last month
- Typeset version of EGA and SGA by Grothendieck.☆14Jan 28, 2014Updated 12 years ago
- Voodoo-1 3D graphics chipset in SystemVerilog☆30Sep 9, 2026Updated last month
- share karabiner config.☆12Nov 26, 2021Updated 4 years ago
- Exploration of World Languages☆18Apr 5, 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.
- ☆25Apr 21, 2021Updated 5 years ago
- Automatically exported from code.google.com/p/windbgshark☆11Jul 1, 2015Updated 11 years ago
- Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format☆27Jul 12, 2023Updated 3 years ago
- Dumping ground for whatever IDA Pro scripts I write☆16Oct 9, 2016Updated 10 years ago
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 4 months ago
- A complete Lean 4 formalization of the Kakeya set problem over finite fields☆23Dec 16, 2025Updated 10 months ago
- A video rendering of Euclid's Elements using Manim☆15Nov 21, 2022Updated 3 years ago
- ☆93Updated this week
- AI-driven discovery of new Gravitational Wave Detectors☆26Jan 10, 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.
- Use camxes the Lojban parser from Python☆11Oct 18, 2014Updated 12 years ago
- ☆27Apr 16, 2026Updated 6 months ago
- ☆24May 18, 2026Updated 5 months ago
- Generate a graph on Graph Commons from Instagram activity☆10Jan 25, 2016Updated 10 years ago
- Floating Point Semantics Mechanization for Lean☆25Jun 18, 2026Updated 4 months ago
- JITed Taint Tracking in V8☆15May 19, 2014Updated 12 years ago
- Public ErdosBench smoke test: 14 public-source Erdős-style problems and baseline reports☆26Jun 8, 2026Updated 4 months ago