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
- Cmake 官方教程 -> 在线阅读☆11Mar 9, 2018Updated 8 years ago
- Python wrapper around Yuta Mori's implementation of SA-IS suffix array construction.☆12Oct 26, 2012Updated 13 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.
- 清华大学电子系NLP&TM课程的第一个大作业，关于中文分词的几个基本算法的应用☆15Mar 23, 2017Updated 9 years ago
- flink sql redis 连接器☆12Nov 20, 2023Updated 2 years ago
- os kernel labs for operating systems course in Tsinghua University.☆32Mar 6, 2022Updated 4 years ago
- Improved Deep Multi-Patch Hierarchical Network with Nested Module for Dynamic Scene Deblurring☆11Sep 17, 2020Updated 5 years ago
- 一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿数学研究中的潜在能力。☆18Mar 19, 2026Updated last month
- Universal Online Judge (UOJ) 样题☆11Sep 23, 2022Updated 3 years ago
- Yet another Y86 implementation☆67Jan 22, 2025Updated last year
- THUPC2021 初赛题目☆17Dec 26, 2020Updated 5 years ago
- Gerber_renderer is an open source library for parsing and rendering gerber file. It uses qt painting system by default and you can save t…☆13Nov 10, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A simple class for drawing the libgerbv images using QPainter rather than the cairo library☆18Oct 3, 2019Updated 6 years ago
- trace system internal activities by high perfermonce aio(include multiple implementations windows support, aio,completion port, wmi etc)…☆18Feb 16, 2024Updated 2 years ago
- 一个易用的矩阵运算库，使用与 matlab 操作相似，请多指教☆32Jul 14, 2016Updated 9 years ago
- Parallel Finite volume moving (Voronoi) mesh MHD code written in Charm++☆16Aug 16, 2012Updated 13 years ago
- Vim like Keybinding FileManager for OS X☆42May 26, 2016Updated 9 years ago
- Share GNSS buoy data☆12Dec 18, 2021Updated 4 years ago
- Oasis-Engine WebGPU Adaptation☆12Mar 17, 2022Updated 4 years ago
- ☆19Jan 20, 2025Updated last year
- Envire maps library☆18Mar 11, 2026Updated last month
- 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.
- A Tool for Revit Development and Debugging☆11Sep 15, 2023Updated 2 years ago
- Code for reproducing experiments in "SCGAN: Disentangled Representation Learning by Adding Similarity Constraint on Generative Adversaria…☆14May 15, 2020Updated 5 years ago
- Direct3D 9 to 11 sharing demo☆12Nov 30, 2018Updated 7 years ago
- Please go to https://github.com/maTHmU/nV☆15Apr 23, 2014Updated 12 years ago
- A small HTTP server written in C++ using IO Completion Ports.☆24Sep 13, 2017Updated 8 years ago
- SAGA is a free geographic information system (GIS), with a special 'Application Programming Interface' (API) for geographic data processi…☆13Oct 26, 2010Updated 15 years ago
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 3 years ago
- Calypso performs magnetohydrodynamics (MHD) simulation in a rotating spherical shell, modeled as Boussinesq fluid driven by thermal or co…☆14Mar 27, 2026Updated last month
- ☆11Jul 9, 2018Updated 7 years 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.
- GREAT-IFCB: An open-source software for multi-GNSS inter-frequency clock bias estimation☆15Apr 14, 2023Updated 3 years ago
- ☆14Aug 8, 2016Updated 9 years ago
- ☆13Sep 6, 2025Updated 8 months ago
- A .NET library and a command line utility for converting BCF (Building Collaboration Format) files into json and vice versa.☆11Mar 13, 2025Updated last year
- PO.DAAC & NSIDC DAAC Github repository for AGU 2020 workshop.☆15Apr 12, 2026Updated 3 weeks 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
- A very basic toolkit for WPF primarily using MVVM pattern, developed specifically for Autodesk Revit API applications.☆11Apr 12, 2026Updated 3 weeks ago