☆172Apr 15, 2021Updated 4 years ago
Alternatives and similar repositories for math
Users that are interested in math are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Google Common Lisp Style Guide in Chinese☆13Apr 4, 2019Updated 6 years ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated last month
- ☆21Mar 15, 2016Updated 10 years ago
- The official website of One Student One Chip project.☆11Feb 5, 2026Updated last month
- proof script associated to tutorial material☆17Oct 29, 2023Updated 2 years ago
- 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.
- Adobe Illustrator CS4 Yosemite fix☆10Jul 7, 2015Updated 10 years ago
- 西安交通大学 beamer 主题☆19Apr 12, 2020Updated 5 years ago
- Docker images for common lisp development☆21Nov 23, 2023Updated 2 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆17Dec 9, 2020Updated 5 years ago
- libev bindings for Common Lisp☆16Jul 5, 2023Updated 2 years ago
- Massively-parallelised Navier-Stokes solver with an immersed boundary method for moving bodies☆13Feb 3, 2025Updated last year
- 📚 各类图书☆851Nov 19, 2021Updated 4 years ago
- ☆17Sep 4, 2025Updated 6 months ago
- Interface Repository for omniORB, a CORBA ORB for C++ and Python.☆11May 15, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 一款定时/循环执行任务的绿色小软件，可以用来定时执行程序、DOS命令、从HTTP服务器下载程序运行、结束进程、 模拟按键、发送EMAIL、网络唤醒、消息提示、关机、重启、注销、锁定、待机等操作☆16Jul 11, 2018Updated 7 years ago
- The opentheory tool processes higher order logic theory packages☆17Mar 21, 2023Updated 3 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 years ago
- 給新手的C++教學 at code風景區☆10Apr 21, 2017Updated 8 years ago
- A thread pool written in Common Lisp☆17Jul 3, 2024Updated last year
- A very simple task scheduling framework.☆22Aug 13, 2025Updated 7 months ago
- 好不容易淘来的（doge）☆16Apr 22, 2021Updated 4 years ago
- Artificial Intelligence & Machine Learning & DeepLearning & NLP & CV Workbench | 示例，算法，模型，应用，TensorFlow & PyTorch，Kaggle☆19Dec 9, 2022Updated 3 years ago
- 《力学概论》LaTeX 重排版☆281Dec 19, 2025Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- The ambition of this project is to develop open-source ROS2 FPGA modules which would act as plug&play ROS nodes.☆13Jul 10, 2018Updated 7 years ago
- ☆10Jan 24, 2021Updated 5 years ago
- a fork of net.sourceforge.wilbur updated for mcl and sbcl☆26Sep 15, 2021Updated 4 years ago
- 华章数学丛书高清扫描☆533Jan 16, 2023Updated 3 years ago
- GitHub Markdown 渲染器☆12Jul 22, 2022Updated 3 years ago
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆21Apr 29, 2022Updated 3 years ago
- ☆18Dec 13, 2022Updated 3 years ago
- tick价差套利（参考vnpy网友资料、vnpy论坛资料、windquant）： 1、按被动腿时间戳对齐 2、profile函数展示（需要py3） 3、平稳性检验 4、对冲手数计算 5、2sigma开仓，3sigma止损(或者赌价差扩散？)6、连续止损后cool down一…☆14Nov 2, 2019Updated 6 years ago
- 装机必备 微软常用运行库合集 2022年6月版☆16Jul 20, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 悬浮窗口-- 流量监视器☆17Nov 25, 2015Updated 10 years ago
- 图片性别识别Demo和模型☆10Oct 28, 2020Updated 5 years ago
- Verifying the ZX Calculus☆20Jan 16, 2026Updated 2 months ago
- My .vimrc config☆19Apr 10, 2025Updated 11 months ago
- ☆17Jun 21, 2023Updated 2 years ago
- Cool hacker's emacs theme, but won't hurt your eye☆17Nov 10, 2025Updated 4 months ago
- 废打印机改装的大行程“雕刻机”，可以制作PCB。☆18Sep 30, 2019Updated 6 years ago