☆41May 5, 2017Updated 9 years ago
Alternatives and similar repositories for nV
Users that are interested in nV are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Core Interpreter of maTHmU CAS☆69May 5, 2017Updated 9 years ago
- Please go to https://github.com/maTHmU/nV☆15Apr 23, 2014Updated 12 years ago
- Mathematica Theory of Computer Algebra System☆122Oct 4, 2015Updated 10 years ago
- Wolfram学生大使演讲PPT☆14Aug 26, 2020Updated 6 years ago
- ☆17Jun 21, 2024Updated 2 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.
- Jenkins+gradle+svn+windows自动化编译、上传svn;apk注入svn源码路径、版本号、jenkins build号☆11Aug 28, 2017Updated 9 years ago
- Free and open engine management☆13Aug 28, 2026Updated 3 weeks ago
- ☆10Apr 24, 2022Updated 4 years ago
- [deprecated, moving to https://github.com/JanJoris/oh-my-posh] a easy to use powershell theme manager☆10Aug 21, 2016Updated 10 years ago
- ☆14Oct 30, 2015Updated 10 years ago
- MPC5746R AUTOSAR demo without SWC☆16Sep 13, 2018Updated 8 years ago
- Framework of pa code for THU compiler principle course.☆13Dec 18, 2019Updated 6 years ago
- This is the example project that is referenced in the Technical Article: Continuous Integration for Verification of Simulink Models. Mode…☆16Jun 23, 2022Updated 4 years ago
- Simulink (Embedded Coder) Target for TI Stellaris LaunchPad☆18Mar 20, 2019Updated 7 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.
- Generate 3D OREO, 奥利奥立体沙雕场景生成器☆41Jan 16, 2019Updated 7 years ago
- ☆25Dec 13, 2016Updated 9 years ago
- mpc5744P_CAN_BootLoader☆20Jun 1, 2019Updated 7 years ago
- Current "Advanced Driver Assistance Systems"☆20Apr 6, 2017Updated 9 years ago
- ☆13Sep 12, 2018Updated 8 years ago
- ☆13Dec 17, 2019Updated 6 years ago
- Fast computation of the Baker-Campbell-Hausdorff and similar series.☆14Nov 28, 2025Updated 9 months ago
- ☆19Oct 30, 2019Updated 6 years ago
- Cadabra computer algebra☆21Dec 20, 2016Updated 9 years 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.
- ☆15Apr 12, 2023Updated 3 years ago
- Wolfram Language version of Thulium Music☆14Nov 27, 2020Updated 5 years ago
- Solver for various CPP variants. ROS exploration implementation☆13Sep 10, 2018Updated 8 years ago
- Suggested conventions and examples for Lean formalization of IMO problem statements☆18Aug 27, 2026Updated last month
- ☆18Jun 2, 2020Updated 6 years ago
- Course materials for Stat 154, fall 2017, at UC Berkeley☆16Dec 9, 2017Updated 8 years ago
- numerical derivative lib☆13Mar 18, 2014Updated 12 years ago
- Task, calendar, Vision protection☆17Sep 5, 2026Updated 3 weeks ago
- the compiler for the Cm programming language☆31Dec 13, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Web component that implement Acrylic texture of Axiom Design System.☆14Jan 7, 2023Updated 3 years ago
- AI for Mathematics Paper List☆18Jan 14, 2025Updated last year
- ☆12Apr 27, 2017Updated 9 years ago
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 3 years ago
- 账簿☆11Jan 16, 2026Updated 8 months ago
- Procedural terrain generator.☆10Jan 28, 2018Updated 8 years ago
- ☆32Jan 2, 2019Updated 7 years ago