On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification
☆16Apr 16, 2026Updated 3 months ago
Alternatives and similar repositories for quartic-invariant
Users that are interested in quartic-invariant are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆21May 27, 2026Updated last month
- Code, figures, and supplementary materials for the paper "A Harmonic Field Model of Consciousness in the Human Brain". Includes Python s…☆21Dec 1, 2025Updated 7 months ago
- OpenConjecture, a dataset of mathematics conjectures pulled from papers published to the ArXiv☆15Updated this week
- ☆45Oct 2, 2025Updated 9 months ago
- Comparator-based Lean formal mathematics eval☆26Jun 27, 2026Updated 2 weeks 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.
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆18Apr 1, 2026Updated 3 months ago
- ☆17May 3, 2026Updated 2 months ago
- Tools based on AI for helping with Lean 4☆120Jul 5, 2026Updated last week
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- Literals for Zarith's arbitrary-precision integers and rationals☆13Aug 18, 2022Updated 3 years ago
- A complete cognitive architecture on S³. One Hamilton product runs memory, learning, attention, and affect☆26Jun 1, 2026Updated last month
- GHCJS DOM Hello World, an example package☆10Apr 24, 2025Updated last year
- Encountering 14 different Naive RAG fails and using KG to solve it☆29Dec 4, 2025Updated 7 months ago
- Implementation of Advance Encryption Standard (AES-128/192/256/512) using Python and Numpy☆12Nov 7, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆18Feb 1, 2022Updated 4 years ago
- ☆28Feb 11, 2026Updated 5 months ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated 9 months ago
- ☆12Mar 31, 2024Updated 2 years ago
- An experimental implementation of bitsliced aes in pure python. Quite possibly the fastest pure-python AES implementation on the planet.☆19Mar 22, 2022Updated 4 years ago
- 🏎️ Animation for sprites☆11Oct 29, 2019Updated 6 years ago
- ☆13Apr 8, 2013Updated 13 years ago
- Bézier curves in Haskell☆29Oct 1, 2025Updated 9 months ago
- Buchbergers algorithm for computing Groebner basis of polynonmial ideals☆13Dec 2, 2023Updated 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.
- An implementation of Bose-Chaudhuri-Hocquenghem codes and error-checking in Go.☆18Jul 6, 2020Updated 6 years ago
- Composite of poschengband, kangband, and other *bands with many new additions and gameplay changes☆13Feb 11, 2022Updated 4 years ago
- ☆23Jul 10, 2025Updated last year
- Taylor Fausak's blog.☆19Mar 26, 2026Updated 3 months ago
- Vapourware open world Middle-Earth death simulator☆15Updated this week
- A script to transcribe audio files with Google Cloud Speech API.☆10Oct 31, 2017Updated 8 years ago
- Latent Embedding Operating System☆17Apr 30, 2026Updated 2 months ago
- A domain-specific language for testing programs using Behavior-Driven Development (BDD) process in Haskell☆19Dec 20, 2014Updated 11 years ago
- Numpy style scientific programming package☆18Aug 20, 2019Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆18Updated this week
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18May 13, 2026Updated 2 months ago
- Script to demonstrate how to use a Language Model for Semantic Turn Detection. Refer to blog post for full details.☆18May 9, 2025Updated last year
- Analysis of snRNA-seq2 data coming from 3 months old mouse liver, dissecting the influence ploidy has on gene expression.☆14Dec 6, 2021Updated 4 years ago
- [ICML'26 Spotlight] Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving☆31Jun 29, 2026Updated 2 weeks ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Mar 19, 2026Updated 3 months ago
- Staged Streams and other stuff☆19Jul 10, 2022Updated 4 years ago