Inverse Symbolic Calculator, RIES Online
☆29Oct 13, 2026Updated this week
Alternatives and similar repositories for ries
Users that are interested in ries are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Notes (and implementation) of unification with binders☆17Feb 10, 2026Updated 8 months ago
- Julia package for robust Pade approximation.☆12Jul 28, 2022Updated 4 years ago
- SIMBI is a 3D heterogeneous relativistic magneto-gas dynamics code using the maturin framework to blend together Rust, CUDA, HIP, and Pyt…☆12Sep 19, 2026Updated 3 weeks ago
- Formalizing Euclidean Geometry in Lean☆30Mar 21, 2024Updated 2 years ago
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- 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.
- Download Calameo books in SVG and/or PNG and create PDF using Python requests.☆28Jan 29, 2024Updated 2 years ago
- Julia package to seamlessly integrate Mathematica's MathLink with Julia's native Symbolics package☆15May 14, 2026Updated 5 months ago
- Run Docker apps on a BOINC project (like Cosmology@Home, etc...)☆12Jan 18, 2019Updated 7 years ago
- Type Checking in Lean 4☆41Mar 22, 2026Updated 6 months ago
- The Chiplotle serial plotter library for Python 3☆14Mar 10, 2025Updated last year
- ☆12May 20, 2019Updated 7 years ago
- A Minecraft demo in Haskell ;)☆12Mar 11, 2016Updated 10 years ago
- Synthetic Differential Geometry in Agda☆13Jan 14, 2015Updated 11 years ago
- Geometry in Coq for French high school [maintainer=@thery]☆21Jul 13, 2024Updated 2 years ago
- 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.
- An open source cross-platform software for the computation of in solution and precipitation chemical equilibria☆16Apr 16, 2026Updated 5 months ago
- Library for discrete Lehmann representation of imaginary time Green's functions☆22Jan 26, 2026Updated 8 months ago
- 打打 bot☆13Oct 5, 2026Updated last week
- The App Store for VMD extensions.☆15Jan 14, 2023Updated 3 years ago
- ☆11Oct 30, 2022Updated 3 years ago
- The last working version of "cint" C/C++ Interpreter, pulled from within "root-5.34.00-patches"☆12Jan 14, 2018Updated 8 years ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- ☆24May 18, 2026Updated 4 months ago
- An interface library for micropython built around asynchronous iterators.☆11Sep 25, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- BASIC Compiler in FORTRAN IV from University of Gießen☆14Jul 2, 2023Updated 3 years ago
- PKWARE Data Compression decompressor tool and library☆18Dec 31, 2020Updated 5 years ago
- A85 Cross Assembler☆15Jun 14, 2024Updated 2 years ago
- Automated integrated regression tests for graphics libraries☆31Jun 7, 2025Updated last year
- The million digit Fibonacci number challenge. Calculate fibo(4784969) in various languages.☆12Apr 23, 2026Updated 5 months ago
- RDS message logger using a silicon labs si470x chip connected to a raspberry pi☆11Apr 18, 2015Updated 11 years ago
- Fortran 66 Snoopy Calendar generator updated to be buildable in modern times☆13May 15, 2026Updated 4 months ago
- XMLDict implements a simple Associative interface for XML documents.☆33Jun 18, 2026Updated 3 months ago
- ROM Dumps of my retro hardwares☆16Dec 13, 2022Updated 3 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.
- Program to create barcodes in the Cauzin Softstrip format☆14Aug 28, 2016Updated 10 years ago
- Rendering Hershey fonts in Python☆11Sep 27, 2023Updated 3 years ago
- ☆15Jun 11, 2024Updated 2 years ago
- Tools for quantum circuits synthesis, optimization and others.☆27Jun 29, 2026Updated 3 months ago
- Repository for MD methods and analysis from submitted or published work☆20Jun 10, 2023Updated 3 years ago
- ☆12Jun 26, 2017Updated 9 years ago
- Add or replace way tags in an OpenStreetMap .pbf☆11Dec 29, 2022Updated 3 years ago