☆125Aug 7, 2023Updated 2 years ago
Alternatives and similar repositories for superperm
Users that are interested in superperm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Jul 8, 2020Updated 5 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Jun 5, 2023Updated 2 years ago
- Plain-text declaration export for Lean 4☆29Apr 2, 2026Updated last week
- Fuzzer and code generator for testing Vineflower☆13Apr 13, 2024Updated 2 years ago
- ☆22Jan 14, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Riemann Hypothesis book☆74Nov 24, 2017Updated 8 years ago
- Tidying up the Keybinds system in Minecraft☆14Apr 14, 2016Updated 10 years ago
- Multinomials for the Mathematical Components library.☆16Updated this week
- ☆16Jun 22, 2024Updated last year
- Investigating the noise residuals around the gravitational wave event GW150914☆12Apr 11, 2019Updated 7 years ago
- Tag-based webview of LaTeX documents☆32Jan 28, 2024Updated 2 years ago
- Combinatorial species in HoTT☆12May 23, 2015Updated 10 years ago
- ☆14Updated this week
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Mar 28, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Another plug-in for using LaTeX in inkscape☆15Oct 16, 2022Updated 3 years ago
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- sage-notebook is a community maintained Jupyter Docker Stack image with the sagemath kernel.☆16Jan 17, 2020Updated 6 years ago
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 3 years ago
- Elm tutorial held at http://nfa.imn.htwk-leipzig.de/HAL2015/ and in university course http://www.janis-voigtlaender.eu/teaching/ffp15/☆11May 11, 2016Updated 9 years ago
- A Java based renderer for algebraic surfaces.☆17Mar 29, 2023Updated 3 years ago
- ☆14Jun 7, 2024Updated last year
- A Perl 6 Implementation☆21Mar 5, 2012Updated 14 years ago
- GitHub copy of the NTS/TeX source code from 2001☆32Aug 6, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Provides native ZSH autocompletion and snippets☆11Mar 10, 2017Updated 9 years ago
- Programs for computing beautiful pictures and animations of zeroes of polynomials.☆14Aug 14, 2024Updated last year
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆28Updated this week
- Rust interface to the OS native signpost debug facilities☆10Dec 2, 2016Updated 9 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- Basic Space Invaders clone written in Love2D☆12Jan 21, 2015Updated 11 years ago
- A GitHub action that allows users to subscribe to a label and automatically get @'d when the label is applied☆12Jul 18, 2023Updated 2 years ago
- Deposited packages of the homalg project☆17Updated this week
- 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.
- Emscripten WASM build of libutp☆16Oct 24, 2019Updated 6 years ago
- Maude Formal Environment☆17Feb 17, 2026Updated last month
- GrSL - the GSL-based random Sampling Library☆13Nov 2, 2011Updated 14 years ago
- What's the simplest Turing Machine with unknown behavior?☆13Jun 18, 2016Updated 9 years ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆76Apr 1, 2026Updated last week
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Mar 30, 2026Updated 2 weeks ago
- my attempt to learn prolog by solving the 99 problems in prolog.. the files named P<int><int>.pl are the original solutions while others …☆10Jun 24, 2011Updated 14 years ago