☆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:
- Golang implementation of the Linear Programming (LP) Simplex algorithm☆11Sep 27, 2019Updated 6 years ago
- Read and write DWARF's "Little Endian Base 128" variable length integer encoding☆22Apr 20, 2026Updated last month
- An easy-to-use Nelder-Mead optimizer for n-Vectors☆13Sep 24, 2018Updated 7 years ago
- Tools to Work with the 'Postlight' 'Mercury' 'API' — https://mercury.postlight.com/web-parser/ — in R☆11Mar 25, 2019Updated 7 years ago
- Multinomials for the Mathematical Components library.☆17Apr 14, 2026Updated last month
- 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.
- ☆16Jun 22, 2024Updated last year
- Tag-based webview of LaTeX documents☆32Jan 28, 2024Updated 2 years ago
- ☆15Updated this week
- Combinatorial species in HoTT☆12May 23, 2015Updated 11 years ago
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Mar 28, 2017Updated 9 years ago
- Thebes.jl is a simple little package that provides 3D services to Luxor.jl.☆33Sep 8, 2025Updated 8 months ago
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- 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 10 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.
- A Java based renderer for algebraic surfaces.☆17Mar 29, 2023Updated 3 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- A fast, deterministic, non-cryptographic hash for use in hash tables for Rust☆15Jan 12, 2021Updated 5 years ago
- ☆14Jun 7, 2024Updated last year
- GitHub copy of the NTS/TeX source code from 2001☆32Aug 6, 2021Updated 4 years ago
- Programs for computing beautiful pictures and animations of zeroes of polynomials.☆14Aug 14, 2024Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Rust implementation of the Haskell Rampart library that determines how intervals relate to each other.☆11Apr 21, 2022Updated 4 years ago
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆29Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 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
- A simple ray tracer with lots of comments to learn from☆11Mar 30, 2020Updated 6 years ago
- Deposited packages of the homalg project☆17Apr 10, 2026Updated last month
- Maude Formal Environment☆17Feb 17, 2026Updated 3 months ago
- Matching algorithms for LightGraphs.jl☆13Oct 21, 2021Updated 4 years ago
- GrSL - the GSL-based random Sampling Library☆13Nov 2, 2011Updated 14 years ago
- Access `version`, `uuid`, etc. in `Project.toml`☆13May 6, 2024Updated 2 years ago
- Formal verification of parts of the Stacks Project in Lean☆23Sep 24, 2021Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- knitout writing frontend for javascript☆17Oct 14, 2024Updated last year
- Some Lean proofs☆29Updated this week
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆78Updated this week
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Mar 30, 2026Updated last month
- This project converts structured Lean code into an interactive browser game.☆79Nov 15, 2023Updated 2 years ago
- Various Futhark benchmark programs☆46May 1, 2026Updated 3 weeks ago
- Spletna storitev za poučevanje programiranja☆16Mar 12, 2026Updated 2 months ago