A survey of known lower bounds in arithmetic circuits.
☆39Jul 27, 2026Updated 3 months ago
Alternatives and similar repositories for lowerbounds-survey
Users that are interested in lowerbounds-survey are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 3 years ago
- Homework Template for Typst☆13Apr 5, 2023Updated 3 years ago
- Theory of Computing Report☆16Oct 1, 2026Updated 3 weeks ago
- One-dimensional computational topology☆13Apr 22, 2026Updated 6 months ago
- A LaTeX-based and collaborative research diary☆13Oct 6, 2020Updated 6 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.
- Choice operator in OCaml, providing a backtracking monad☆26Jan 26, 2022Updated 4 years ago
- ☆26May 13, 2026Updated 5 months ago
- A Typst template for "Tufte" style handouts with side notes☆22Jun 30, 2023Updated 3 years ago
- ☆10Oct 27, 2024Updated 2 years ago
- A repository for the material of my course on lambda-calculus and categories☆45Oct 19, 2026Updated last week
- Charity Programming Language☆41Apr 14, 2015Updated 11 years ago
- All the math/tex files for the Automorphic Project☆19Feb 12, 2026Updated 8 months ago
- The formal proof of the Odd Order Theorem☆37Aug 20, 2026Updated 2 months ago
- A haskell toolbox for the Internet Computer☆36Aug 28, 2025Updated last year
- 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.
- Solve a Sudoku puzzle with a quantum computer☆34Dec 14, 2023Updated 2 years ago
- Give Claude Code direct access to VS Code's code navigation, error checking, and debugging tools through the Model Context Protocol.☆17Jan 26, 2026Updated 9 months ago
- Algebra Number Theory book☆51Mar 2, 2022Updated 4 years ago
- *n*x dotfiles for a user shell. Targets primarily desktop Linux. Uses: hyprland, fish, pywal, vim, fzf and dirp.☆17Updated this week
- Tim Button's open textbook on set theory☆44Jul 12, 2026Updated 3 months ago
- Andrej Bauer's blog "Mathematics and Computation"☆57Jul 11, 2026Updated 3 months ago
- The website for the Stacks project☆19May 22, 2018Updated 8 years ago
- ☆50May 15, 2023Updated 3 years ago
- Topological Quantum Computing Simulator☆39Feb 15, 2020Updated 6 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.
- Theorems for Real Closed Fields☆15Jul 23, 2026Updated 3 months ago
- The Sage implementation of a simulator for Regev's factoring algorithm, and of Ekerå–Gärtner's extensions to discrete logarithm finding, …☆21Oct 2, 2024Updated 2 years ago
- ☆12Nov 29, 2023Updated 2 years ago
- SIGPwny's websites and club content monorepo☆14Updated this week
- ☆10Dec 5, 2023Updated 2 years ago
- A fungeoid language where bends in the chain determine the instructions☆15Nov 16, 2021Updated 4 years ago
- Firmware for the Jamine OpenSSD platform☆63Apr 30, 2022Updated 4 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆441Oct 23, 2026Updated last week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- The website for ACM@UIUC☆11Sep 29, 2026Updated last month
- A Basic SPN cryptanalysis☆15Dec 1, 2021Updated 4 years ago
- ☆13Jan 23, 2022Updated 4 years ago
- Homemade implementation of Square Attack against 4 rounds AES☆14Feb 2, 2020Updated 6 years ago
- Master's Degree thesis template.☆14Jul 2, 2025Updated last year
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- My project for the Wolfram Summer Camp 2019☆15Jul 12, 2019Updated 7 years ago