maTHmU/nV external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

maTHmU/nV

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/maTHmU/nV)

Close

maTHmU / nVView on GitHubMore

• External links
• Readme badge

☆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.

• maTHmU / mU

  View on GitHub
  Core Interpreter of maTHmU CAS
  ☆67May 5, 2017Updated 9 years ago
• mulab / nV

  View on GitHub
  Please go to https://github.com/maTHmU/nV
  ☆15Apr 23, 2014Updated 12 years ago
• maTHmU / MTCAS

  View on GitHub
  Mathematica Theory of Computer Algebra System
  ☆122Oct 4, 2015Updated 10 years ago
• wjxway / WSA-Presentation

  View on GitHub
  Wolfram学生大使演讲PPT
  ☆14Aug 26, 2020Updated 5 years ago
• oovm / wolfram-exchange

  View on GitHub
  ☆17Jun 21, 2024Updated last year
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• MarisaKirisame / CompilingCombinator

  View on GitHub
  Code for my blog
  ☆10Feb 26, 2017Updated 9 years ago
• miRoox / wll-rs

  View on GitHub
  Wolfram LibraryLink interface for Rust [Deprecated]
  ☆10Mar 8, 2024Updated 2 years ago
• chyyuu / example-coroutine-and-thread

  View on GitHub
  ☆10Apr 24, 2022Updated 4 years ago
• MarisaKirisame / lambda_calculus

  View on GitHub
  ☆14Oct 30, 2015Updated 10 years ago
• yyzybb537 / ketty

  View on GitHub
  RPC framework
  ☆13May 17, 2018Updated 8 years ago
• njpipeorgan / wll-interface

  View on GitHub
  Header only C++ library simplifying Wolfram LibraryLink code
  ☆39Jul 27, 2023Updated 2 years ago
• MashPlant / decaf-rs

  View on GitHub
  Framework of pa code for THU compiler principle course.
  ☆13Dec 18, 2019Updated 6 years ago
• ksqsf / logseq-open-in-emacs

  View on GitHub
  ☆22Dec 5, 2023Updated 2 years ago
• WolframResearch / wolfram-app-discovery-rs

  View on GitHub
  Locate local installations of the Wolfram Language.
  ☆18Feb 23, 2025Updated last year
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• TerrorJack / erumpo

  View on GitHub
  Just a prototype, but will be improved soon.
  ☆22Jan 9, 2015Updated 11 years ago
• jacobcx / MetaWares

  View on GitHub
  MPC5746R AUTOSAR demo without SWC
  ☆16Sep 13, 2018Updated 7 years ago
• kyak / stellaris_ert

  View on GitHub
  Simulink (Embedded Coder) Target for TI Stellaris LaunchPad
  ☆18Mar 20, 2019Updated 7 years ago
• DeepMathLLM / DeepMath

  View on GitHub
  一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿数学研究中的潜在能力。
  ☆20Mar 19, 2026Updated 2 months ago
• AU20GradProject / OS

  View on GitHub
  Autosar OSEK/VDX Operating system
  ☆16May 13, 2020Updated 6 years ago
• lynnux / leak-detect-allocator

  View on GitHub
  Memory leak detector for rust
  ☆15Jun 28, 2021Updated 4 years ago
• be5invis / your-type

  View on GitHub
  ☆25Dec 13, 2016Updated 9 years ago
• sakra / Tunnel

  View on GitHub
  Scripts for launching remote Mathematica kernels.
  ☆53Sep 18, 2018Updated 7 years ago
• chenjulang / rubikcubegroup

  View on GitHub
  rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/
  ☆13Apr 16, 2024Updated 2 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• Rafostar / gtuber

  View on GitHub
  C library to fetch media info from websites
  ☆15Jan 19, 2025Updated last year
• oovm / ChineseNLP

  View on GitHub
  ☆13Sep 12, 2018Updated 7 years ago
• LePtC / MaticaGuokr

  View on GitHub
  Mathematica game play!
  ☆23Feb 1, 2018Updated 8 years ago
• zhangir-azerbayev / mathlib-semantic-search

  View on GitHub
  ☆15Apr 12, 2023Updated 3 years ago
• Cheb57 / binutils-tricore

  View on GitHub
  GNU/binutils revision 2.13 targetting Infineon tricore CPU architecture
  ☆22Jan 30, 2019Updated 7 years ago
• oovm / JupyterConvert

  View on GitHub
  ☆13Dec 17, 2019Updated 6 years ago
• realsosy / AurixRacer

  View on GitHub
  Smart Model Car Contest contents
  ☆17May 24, 2019Updated 7 years ago
• Lean-zh / math-in-lean-zh

  View on GitHub
  Lean 形式化数学
  ☆18Dec 20, 2025Updated 5 months ago
• xiaowen1124 / Numerical-Analysis-

  View on GitHub
  数值分析课程作业题、习题及补充（复习练习版）
  ☆14Aug 26, 2024Updated last year
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• msrd0 / rlottie-rs

  View on GitHub
  This repository has moved to codeberg
  ☆20Feb 19, 2026Updated 3 months ago
• cishudian / mpc5744P_CAN_BootLoader

  View on GitHub
  mpc5744P_CAN_BootLoader
  ☆20Jun 1, 2019Updated 7 years ago
• HaraldHofstaetter / BCH

  View on GitHub
  Fast computation of the Baker-Campbell-Hausdorff and similar series.
  ☆13Nov 28, 2025Updated 6 months ago
• k2sebeom / pyplayscii

  View on GitHub
  Python game engine specialized in ascii art games
  ☆18Sep 18, 2021Updated 4 years ago
• orzogc / xdnmb_api

  View on GitHub
  X岛揭示板（nmbxd.com）API
  ☆15Jun 15, 2024Updated 2 years ago
• ruc-ai4math / Premise-Retrieval

  View on GitHub
  ☆19Jan 20, 2025Updated last year
• mohamedhegazy / CAVE

  View on GitHub
  Content-aware Video Encoding for Cloud Gaming
  ☆17Apr 14, 2019Updated 7 years ago