Enhancement for Rubi steps.
☆16Feb 23, 2023Updated 3 years ago
Alternatives and similar repositories for RubiSteps
Users that are interested in RubiSteps are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rubi for Mathematica☆264Feb 22, 2024Updated 2 years ago
- 不定积分过程生成器（By Mathematica）☆43Nov 4, 2023Updated 2 years ago
- Scanning tool for BSM models☆11Jun 18, 2019Updated 7 years ago
- mathematica (miscellaneous)☆19Nov 1, 2025Updated 8 months ago
- A package providing a palette to upload images and data to mathematica.stackexchange☆22Apr 8, 2024Updated 2 years ago
- 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.
- Current public version☆13Updated this week
- SModelS☆16Updated this week
- Prolog Technology Theorem Prover☆14Jun 19, 2024Updated 2 years ago
- ☆35Mar 1, 2021Updated 5 years ago
- Dock for the Lichee RV to provide Ethernet, GPIO and more☆12May 5, 2022Updated 4 years ago
- Demonstration of analog signal digitization☆12Jan 24, 2023Updated 3 years ago
- flash loan on EOS network☆11Apr 10, 2020Updated 6 years ago
- 中国大学MOOC《ROS机械臂开发技术》课程代码示例☆11Sep 4, 2019Updated 6 years ago
- Please use https://github.com/kubuds/sophgo-arduino instead of this repository.☆20Jul 15, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- IT 大V韭菜恩爱史☆11Dec 7, 2019Updated 6 years ago
- 将你的发言匿名转发到群聊的机器人☆12Aug 2, 2020Updated 5 years ago
- A web portal that offers more features and a better user interface for reading eprints☆25Jun 16, 2016Updated 10 years ago
- TI-Nspire port of Chinese classic RPG game Pal☆11May 2, 2016Updated 10 years ago
- Dye cell files for a DIY dye laser☆16May 21, 2023Updated 3 years ago
- Mathematica packages for geometric algebra☆54May 14, 2025Updated last year
- An implementation of interval union arithmetic in Julia☆12May 25, 2022Updated 4 years ago
- PhaseTracer is a C++14 software package for tracing cosmological phases, finding potential phase transitions, computing the bounce action…☆21Updated this week
- A simple similarity based image sorter written in python☆21Jul 4, 2015Updated 11 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.
- The GMap iteration macro, plus a few other useful macros.☆22Mar 30, 2026Updated 3 months ago
- Arduino library for Segger RTT Real-Time Transfer☆17Nov 15, 2023Updated 2 years ago
- Raspberry Pi Pico USB speed check☆17Jul 28, 2022Updated 3 years ago
- PauliAlgebra package and supporting documents☆16Jun 7, 2014Updated 12 years ago
- A package for GR calculation☆42Updated this week
- Multi-Dimensional Analog Literals in Rust☆15May 24, 2021Updated 5 years ago
- WebAssembly target for ANTLR4 with Typescript☆16Apr 1, 2024Updated 2 years ago
- ☆18Sep 16, 2020Updated 5 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/binutils-gdb☆18Mar 15, 2026Updated 4 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- https://github.com/olvb/nodesoup for dear imgui☆16May 25, 2026Updated 2 months ago
- A benchmark for C program verification☆17Feb 22, 2024Updated 2 years ago
- The optimization field suffers from the metaphor-based “pseudo-novel” or “fancy” optimizers. Most of these cliché methods mimic animals' …☆12Oct 13, 2024Updated last year
- Automatic iTunes album downloader and formatter for Windows☆19Feb 11, 2022Updated 4 years ago
- ☆18Jun 17, 2024Updated 2 years ago
- Automagic typst package documentation & development☆19Nov 28, 2024Updated last year
- Read definitions of in-memory Mathematica functions with ease☆51Jan 28, 2020Updated 6 years ago