Core Interpreter of maTHmU CAS
☆67May 5, 2017Updated 9 years ago
Alternatives and similar repositories for mU
Users that are interested in mU are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆41May 5, 2017Updated 9 years ago
- Core Interpreter of maTHmU CAS☆37Dec 24, 2020Updated 5 years ago
- Mathematica Theory of Computer Algebra System☆122Oct 4, 2015Updated 10 years ago
- 一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿数学研究中的潜在能力。☆19Mar 19, 2026Updated 2 months ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆12Apr 16, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Some useful utilities for OI written in C++.☆10Apr 13, 2022Updated 4 years ago
- 人像抠图APP☆12May 31, 2022Updated 3 years ago
- A simple class for drawing the libgerbv images using QPainter rather than the cairo library☆18Oct 3, 2019Updated 6 years ago
- 一个易用的矩阵运算库，使用与 matlab 操作相似，请多指教☆32Jul 14, 2016Updated 9 years ago
- 《Django + Nuxt 实现美食分享网站》源代码☆10Aug 8, 2020Updated 5 years ago
- Share GNSS buoy data☆12Dec 18, 2021Updated 4 years ago
- Envire maps library☆18Mar 11, 2026Updated 2 months ago
- A Tool for Revit Development and Debugging☆11Sep 15, 2023Updated 2 years ago
- APL function editor written in APL☆12Mar 9, 2026Updated 2 months 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.
- Please go to https://github.com/maTHmU/nV☆15Apr 23, 2014Updated 12 years ago
- cross-platform nim GUI☆33Aug 29, 2020Updated 5 years ago
- ☆11Aug 6, 2024Updated last year
- Import of Bernhard Oemer's Quantum Computer Language simulator.☆15Apr 17, 2013Updated 13 years ago
- Calypso performs magnetohydrodynamics (MHD) simulation in a rotating spherical shell, modeled as Boussinesq fluid driven by thermal or co…☆14Mar 27, 2026Updated 2 months ago
- Non-blocking message passing (a C++14 MPI wrapper)☆18Sep 19, 2014Updated 11 years ago
- 2D Toolbox for Differentiable Ray Tracing☆19Mar 27, 2026Updated 2 months ago
- ☆13Sep 6, 2025Updated 8 months ago
- KaPoCE is a framework for solving the cluster editing problem that asks to transform an input graph into a cluster graph (a disjoint unio…☆11Dec 19, 2022Updated 3 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.
- 为准备2020年清华机计算机复试机试题而做的笔记☆11Apr 17, 2023Updated 3 years ago
- Android Application that allow the user to locate his position using the wifi. Once the localization is done the user can track his move …☆11Oct 21, 2016Updated 9 years ago
- Comparing obstacle avoidance formulations☆11Oct 22, 2022Updated 3 years ago
- Real-time motion planner and autonomous vehicle simulator in the browser, built with WebGL and Three.js.☆13Mar 3, 2023Updated 3 years ago
- RTKLIB with performance optimisation using the FPGA of a Zynq 7020☆17Jun 17, 2016Updated 9 years ago
- Tool to transform an OWL ontology into an OpenAPI Specification☆17May 31, 2021Updated 4 years ago
- Open-source framework for gradient illumination☆17Aug 10, 2021Updated 4 years ago
- Unofficial implementation of the paper: Cho et al., "Hole Filling Method for Depth Image Based Rendering Based on Boundary Decision", SPL…☆12Sep 17, 2022Updated 3 years ago
- GNSS+Visual+Inerital State Estimation☆14Aug 7, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Apache IoTDB Nightly Releases (Unofficial) 🚀☆12Jan 5, 2023Updated 3 years ago
- The Local Ensemble Transform Kalman Filter (LETKF) data assimilation package for the SCALE-RM weather model☆11Sep 30, 2021Updated 4 years ago
- https://learningos.github.io/ucore_os_webdocs/☆13Mar 3, 2020Updated 6 years ago
- An alternative to Boost.MPI for a user friendly C++ interface for MPI (MPICH).☆19Feb 24, 2018Updated 8 years ago
- My Revit addins☆12Mar 11, 2026Updated 2 months ago
- An evolving library of BIM objects used in OpeningDesign projects.☆14Aug 8, 2023Updated 2 years ago
- Legendre decomposition for tensors☆13Oct 29, 2018Updated 7 years ago