Alternatives and similar repositories for nV

Users that are interested in nV are comparing it to the libraries listed below

• maTHmU / MTCAS
  Mathematica Theory of Computer Algebra System
  ☆118Updated 9 years ago
• maTHmU / mU
  Core Interpreter of maTHmU CAS
  ☆67Updated 8 years ago
• mulab / mU
  Core Interpreter of maTHmU CAS
  ☆36Updated 4 years ago
• maTHmU / mathmu.github.io
  ☆26Updated 8 years ago
• asukaminato0721 / IntWithStepsOfTeXForm
  不定积分过程生成器（By Mathematica）
  ☆45Updated last year
• wenweili / Yanqi-Algebra-3
  Yanqi Lake Lectures on Algebra, Part III
  ☆49Updated 4 months ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆34Updated 4 months ago
• yxlllc / SMSP-Compiler-For-Mathematica
  ☆26Updated 7 years ago
• wenweili / Modulform
  Introduction to Modular Forms: A Chinese textbook about modular forms
  ☆74Updated 3 weeks ago
• banana-space / btex
  ☆48Updated last year
• oovm / Mathpix
  Mathpix API in Mathematica
  ☆72Updated 5 years ago
• NatsuLang / NatsuLang
  ☆98Updated 6 years ago
• MarisaKirisame / resume
  ☆43Updated 5 months ago
• shigma / vscode-wl
  Wolfram Language support for Visual Studio Code.
  ☆51Updated 2 years ago
• qyxf / notes-on-computing-methods
  计算方法撷英 Notes on Computing Methods
  ☆21Updated 4 years ago
• qinglee / GEB
  Gödel, Escher, Bach: an Eternal Golden Braid
  ☆86Updated 2 years ago
• Agda-zh / PLFA-zh
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆211Updated last week
• banana-space / banana-space
  ☆177Updated last year
• PE-CN / PE-CN.github.io
  Project Euler | 欧拉计划 中文翻译站
  ☆46Updated 2 months ago
• qinglee / maoxuan
  Selected Works of Mao Tse-Tung
  ☆16Updated 5 years ago
• oovm / Geass
  ☆62Updated 6 years ago
• mulab / nV
  Please go to https://github.com/maTHmU/nV
  ☆15Updated 11 years ago
• FrankHB / YEGE
  Yet another EGE library
  ☆23Updated last year
• slowphil / mingw-w64-texmacs
  TeXmacs for Windows (build in MSys2/Mingw32 environment)
  ☆28Updated last year
• maTHmU / Calculus
  Integral function scripts for maTHmU CAS.
  ☆9Updated 11 years ago
• LePtC / AlphaChord
  generate chord music from irrational numbers
  ☆46Updated 7 years ago
• MoeMod / cpp-quiz
  这是个中文版的C++小测题。
  ☆22Updated 5 years ago
• Birdee-lang / Birdee2
  Birdee Language compiler and runtime
  ☆40Updated 5 years ago
• Trebor-Huang / history
  History of type theory (Chinese).
  ☆347Updated last month
• BKEngine / Creator
  Official Editor for BKEngine Game Development
  ☆21Updated 6 years ago