Rule-based symbolic integration, based on Rubi.
☆21Oct 15, 2026Updated last week
Alternatives and similar repositories for symbolica-integrate
Users that are interested in symbolica-integrate are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆20Sep 22, 2026Updated last month
- ☆14Sep 4, 2025Updated last year
- Markdown live render with neovim☆17Sep 10, 2026Updated last month
- A simple shim to enable micromamba environments in PyCharm, which otherwise fails to recognize mamba as a valid conda executable☆18Dec 10, 2025Updated 10 months ago
- Pure JavaScript/TypeScript zstd compression/decompression library. No native dependencies, works in Node.js and browsers.☆19Apr 22, 2026Updated 6 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.
- Prevents neovim from showing filler lines unnecessarily due to scrolling beyond buffer content☆21Oct 30, 2025Updated 11 months ago
- Rust XML parser implementation for SAX interface: xml_sax☆13Dec 21, 2021Updated 4 years ago
- Github repo for Microsoft hackathon 2024 Nov - https://microsoftfabric.devpost.com/?ref_content=default&ref_feature=challenge&ref_medium=…☆13Dec 30, 2024Updated last year
- The R userfriendlyscience package☆15Nov 17, 2018Updated 7 years ago
- This is a POC to test pgTAP (I use Docker image) to write and execute PL/pgSQL - SQL Procedural Language.☆11Mar 1, 2018Updated 8 years ago
- The Rust riot-sys crate, used for modules and applications on RIOT OS☆13May 14, 2026Updated 5 months ago
- CSS Selector Benchmarks, using PerfTestRunner and Puppeteer☆25Sep 16, 2026Updated last month
- This is a Repository corresponding to ACCV2022 accepted paper ”Complex Handwriting Trajectory Recovery: Evaluation Metrics and Algorithm“…☆15Oct 3, 2022Updated 4 years ago
- Astro adapter for Bun with optimized static file serving and ISR (Incremental Static Regeneration)☆15Sep 29, 2026Updated 3 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆23Feb 2, 2026Updated 8 months ago
- A pure-Rust graphics engine for PDF, PostScript, and EPS.☆17Oct 15, 2026Updated last week
- 🚀 Ship fast with sh(ui)p, a collection of components and blocks for your Next.js project, built with shadcn/ui☆12Updated this week
- Intuitive window resizing☆30Feb 24, 2025Updated last year
- A robust task scheduling system leveraging Tokio, with built-in fault tolerance, persistence, and recovery capabilities to ensure seamles…☆15Nov 1, 2024Updated last year
- Data and functions to support Julia projects based on the book "Regression and Other Stories" by Andrew Gelman, Jennifer Hill and Aki Veh…☆27Nov 21, 2025Updated 11 months ago
- XPath expression markup built on top of StAX streaming parser☆19Oct 20, 2016Updated 10 years ago
- Zig compiler compiled to WASM☆20Apr 17, 2024Updated 2 years ago
- securely share secrets with other developers☆10Feb 12, 2026Updated 8 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.
- provides Rust interface of fetching youtube live chat comments☆11Dec 16, 2024Updated last year
- Postgres pgTap test runner in docker☆12Feb 8, 2016Updated 10 years ago
- Cycle-accurate Rust emulators for the Raspberry Pi RP2350/RP2354 and RP2040 (dual Cortex-M33 / Cortex-M0+ + PIO).☆26Jun 27, 2026Updated 3 months ago
- Structured export of Matplotlib figures to Typst☆13Jul 4, 2026Updated 3 months ago
- A portastudio-style DAW to keep you focused and making music☆24Updated this week
- COM runtime support for SharpGen generated interop code.☆13Sep 9, 2021Updated 5 years ago
- Evolutionary algorithm for 2D guillotine cutting problem on sheets of the same size☆29Aug 31, 2026Updated last month
- Datify is a Typst package for flexible, locale-aware date formatting. It leverages datify-core for internationalization and supports CLDR…☆22Jun 16, 2026Updated 4 months ago
- Rust interface for cvc5☆17Oct 13, 2026Updated last 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.
- ☆11Jul 7, 2026Updated 3 months ago
- graph viewer☆12May 7, 2026Updated 5 months ago
- Example repository for integrating Ant Design with ReactPWA project. This repo demonstrates the usage & integration of Ant Design in exis…☆15Nov 13, 2018Updated 7 years ago
- ☆13Aug 12, 2025Updated last year
- A SQL-like wrapper atop Y.js☆14May 5, 2025Updated last year
- Auvik's Power BI templates for reporting☆15Jan 20, 2026Updated 9 months ago
- Tiller Tills TILs☆14Updated this week