☆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☆68May 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 5 years ago
- ☆26May 4, 2017Updated 9 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.
- Local proxy for getting a terminal from Palm's novacomd. Mostly deprecated in favor of Palm's novaterm.☆17Aug 3, 2010Updated 15 years ago
- ☆17Jun 21, 2024Updated 2 years ago
- Free and open engine management☆13Jul 18, 2026Updated last week
- [deprecated, moving to https://github.com/JanJoris/oh-my-posh] a easy to use powershell theme manager☆10Aug 21, 2016Updated 9 years ago
- Just a prototype, but will be improved soon.☆22Jan 9, 2015Updated 11 years ago
- Framework of pa code for THU compiler principle course.☆13Dec 18, 2019Updated 6 years ago
- Autosar OSEK/VDX Operating system☆16May 13, 2020Updated 6 years ago
- ☆25Dec 13, 2016Updated 9 years ago
- Scripts for launching remote Mathematica kernels.☆52Sep 18, 2018Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- mpc5744P_CAN_BootLoader☆20Jun 1, 2019Updated 7 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- Fast paced tetris game cloned from Cultris II☆12Feb 11, 2019Updated 7 years ago
- 次世代富交互论坛系统。☆17Aug 31, 2017Updated 8 years ago
- 关于把基于海思芯片的 IPC 模组用在飞机上录像并顺便输出一路码流给数字图传的事☆19Jul 26, 2020Updated 6 years ago
- Smart Model Car Contest contents☆17May 24, 2019Updated 7 years ago
- Fast vectorized comparison and Boolean operations in the Wolfram Language.☆17Aug 4, 2019Updated 6 years ago
- 有关 Qv2ray 主项目及插件不再进行维护的通知☆16Aug 17, 2021Updated 4 years ago
- Robot simulator using opengl and python☆35Nov 4, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Task, calendar, Vision protection☆16Jul 20, 2026Updated last week
- ☆24Apr 22, 2026Updated 3 months ago
- the compiler for the Cm programming language☆31Dec 13, 2017Updated 8 years ago
- Web component that implement Acrylic texture of Axiom Design System.☆14Jan 7, 2023Updated 3 years ago
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 3 years ago
- 账簿☆11Jan 16, 2026Updated 6 months ago
- Procedural terrain generator.☆10Jan 28, 2018Updated 8 years ago
- Comparing obstacle avoidance formulations☆11Oct 22, 2022Updated 3 years ago
- Persistent Memory Test Suite☆14Apr 29, 2020Updated 6 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.
- BUAA Compiler Course Project 2023 by Toby Shi.☆13Aug 20, 2024Updated last year
- Docker compose for headscale, authelia, and traefik☆13Sep 30, 2023Updated 2 years ago
- Real-time motion planner and autonomous vehicle simulator in the browser, built with WebGL and Three.js.☆13Jun 25, 2026Updated last month
- A pattern matching extension for C#6☆12May 20, 2016Updated 10 years ago
- Online survey form building, survey performing and result analysis.☆15Sep 2, 2016Updated 9 years ago
- ☆14Mar 15, 2021Updated 5 years ago
- BitTorrent DHT Protocol && DHT Spider，faster than shiyanhui/dht☆11Aug 30, 2023Updated 2 years ago