☆15Sep 29, 2025Updated last year
Alternatives and similar repositories for Rupert
Users that are interested in Rupert are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Noperthedron does not have Rupert Property: a proof in Lean4☆22Oct 30, 2026Updated last week
- A Typescript library for rendering customized markdown syntax and providing tex2svg for server-side rendering.☆12Sep 2, 2026Updated 2 months ago
- A small, highly efficient computer algebra system in written in C99.☆21Updated this week
- Sokoban implementation in lean for proving solvability / unsolvability☆14Apr 21, 2021Updated 5 years ago
- A GAP package to deal with numerical semigroups and affine semigroups☆13Oct 2, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆41Sep 4, 2026Updated 2 months ago
- Life & Times of a Reproducible Clinical Project☆15Jan 15, 2019Updated 7 years ago
- Use Adobe swatch files as R color palettes☆16Mar 21, 2015Updated 11 years ago
- Workshop for LMTP at various conferences.☆14Jun 22, 2026Updated 4 months ago
- Swedish map data for ggplot and leaflet in R☆16Jun 26, 2015Updated 11 years ago
- Just provide a macro for a certain programming language.☆14Dec 7, 2023Updated 2 years ago
- ☆19Dec 9, 2025Updated 10 months ago
- Python code (using regina, snappy, and sage) for working with transverse taut and veering ideal triangulations.☆10Updated this week
- Script to plot the cover of Joy Division's Unknown Pleasures using Python/Matplotlib☆15Jul 23, 2019Updated 7 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.
- Exact Cover Sudoku Solver☆19Dec 12, 2022Updated 3 years ago
- Cookiecutter for xeus-based Jupyter kernels☆12Mar 16, 2026Updated 7 months ago
- Cap’n Proto maven plugin☆16Dec 27, 2020Updated 5 years ago
- Homological Algebra Programming☆15Updated this week
- ☆23Jan 14, 2026Updated 9 months ago
- Jupyter wrapper kernel for singular☆11Jun 12, 2024Updated 2 years ago
- A software package for computation of sheaf cohomologies for line bundles on toric varieties.☆12Sep 26, 2025Updated last year
- Repository for Understanding Linear Algebra☆12Sep 18, 2026Updated last month
- R package for estimating excess deaths from daily count data☆20Dec 3, 2025Updated 11 months 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.
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆13Sep 4, 2024Updated 2 years ago
- Cython extension class to allocate memory. Source repository for https://pypi.org/project/memory-allocator/☆12Updated this week
- Functioning: A Game Framework based on SDL for Standard ML☆20Jan 20, 2013Updated 13 years ago
- Free group automorphisms and train-track representative in python/sage☆12Sep 18, 2025Updated last year
- Robert Munafo's reverse equation solver☆25Feb 28, 2023Updated 3 years ago
- Conformal Bayes with importance sampling☆24Oct 25, 2021Updated 5 years ago
- PyPI binary distribution of CBC optimizer☆15Updated this week
- A Rust port of Box2d☆24Jul 27, 2016Updated 10 years ago
- PolyLib official git.☆15Sep 23, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Fork of Bliss☆15Dec 13, 2025Updated 10 months ago
- ☆29Updated this week
- Comorbidities calculator for R using ICD-9 and ICD-10 based scores☆22Jun 23, 2016Updated 10 years ago
- Notebook widgets in pure Python☆18Mar 19, 2026Updated 7 months ago
- Python interface to the QDLDL (https://github.com/osqp/qdldl) free LDL factorization routine for quasi-definite linear systems☆18Apr 6, 2026Updated 7 months ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Dec 19, 2019Updated 6 years ago
- Teichmüller dynamics in SageMath☆14Oct 1, 2026Updated last month