A database app for ring theory
☆22Feb 22, 2026Updated last week
Alternatives and similar repositories for RingApp
Users that are interested in RingApp are comparing it to the libraries listed below
Sorting:
- ☆27Feb 3, 2026Updated 3 weeks ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated last year
- ☆14Updated this week
- VS Code extension for Macaulay2☆13May 19, 2025Updated 9 months ago
- Formalization of the existence of sphere eversions☆47Feb 18, 2026Updated last week
- High-quality implementations of several Kalman filters and smoothers (including the repository's namesake, UltimateKalman) in three diffe…☆13Sep 1, 2025Updated 6 months ago
- ☆20Jan 24, 2023Updated 3 years ago
- All the math/tex files for the Automorphic Project☆19Feb 12, 2026Updated 2 weeks ago
- ☆26Nov 1, 2021Updated 4 years ago
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…☆29May 21, 2025Updated 9 months ago
- Learning Algebraic Varieties from Samples☆24Jan 5, 2024Updated 2 years ago
- A community database of topological counterexamples☆133Updated this week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Aug 16, 2013Updated 12 years ago
- ☆35Aug 10, 2025Updated 6 months ago
- ☆13May 22, 2024Updated last year
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Dec 12, 2022Updated 3 years ago
- Tutorial about noisy labels for SIBGRAPI 2020☆11Nov 6, 2020Updated 5 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆13Jul 8, 2024Updated last year
- Simple-ish script which starts an equaliser under pipewire and connects a real output device to it as well as a virtual device to relay a…☆11Nov 21, 2025Updated 3 months ago
- ☆11Oct 31, 2021Updated 4 years ago
- Hybrid systems equations simulator, development repository☆14Oct 11, 2025Updated 4 months ago
- ☆10Oct 11, 2022Updated 3 years ago
- Source code for paper "Trajectory of Alternating Direction Method of Multipliers and Adaptive Acceleration" of NeurIPS 2019☆10Jan 25, 2024Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- QCLAB Matlab Toolbox☆13Dec 22, 2025Updated 2 months ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆44Mar 19, 2024Updated last year
- A math-aware search engine.☆353Nov 16, 2023Updated 2 years ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆60Jan 11, 2026Updated last month
- An open-source library of fair division algorithms in Python☆38Mar 25, 2024Updated last year
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- Scratchpad/Chain-of-Thought Prompts☆12Jun 6, 2022Updated 3 years ago
- Find (filtered) local maxima.☆16Jan 16, 2024Updated 2 years ago
- The stl files and code for the V2 DexHand☆48May 26, 2025Updated 9 months ago
- Simple X Image Viewer☆11Apr 18, 2022Updated 3 years ago
- ☆14Updated this week