单纯群精华信息汇总
☆19Dec 13, 2024Updated last year
Alternatives and similar repositories for Simplicial_Group
Users that are interested in Simplicial_Group are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 代数基本观念☆33Jun 15, 2026Updated 2 weeks ago
- A transpiler that converts TeX into Unicode (as possible).☆21Mar 5, 2026Updated 3 months ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Sep 4, 2024Updated last year
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆19Updated this week
- ☆11Sep 15, 2025Updated 9 months 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.
- ☆12Jan 4, 2023Updated 3 years ago
- The context-free grammar defining the snarXiv (http://snarxiv.org)☆15May 26, 2019Updated 7 years ago
- NixOS on a mirrored ZFS pool using disko, featuring opt-in persistence.☆13Jul 26, 2023Updated 2 years ago
- A small fast isam/btree library for key/val access☆12Jul 10, 2010Updated 15 years ago
- Repository for effective resistance sampling code to create network sparsifiers.☆11Dec 1, 2021Updated 4 years ago
- 水源社区 API client☆17Dec 11, 2023Updated 2 years ago
- Python script to synchronize the clipboard between Wayland and X11.☆26Jan 30, 2025Updated last year
- Notes and homework answers for Math, Prob and Stat courses at USTC☆81Jun 22, 2020Updated 6 years ago
- ☆21Jun 17, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆13Dec 18, 2025Updated 6 months ago
- 分享一些与麻将相关的东西☆19Feb 11, 2020Updated 6 years ago
- ERC721 變體測試（ERC721, ERC721A, ERC721Solmate, ERC721Psi ...）☆10Jul 18, 2022Updated 3 years ago
- 山东大学自行车协会 历届会刊☆14Apr 8, 2023Updated 3 years ago
- Download ClassIn replay videos☆19Mar 3, 2023Updated 3 years ago
- A solutions manual for Topology by James Munkres☆17Aug 12, 2018Updated 7 years ago
- A demo of generativeart with rosepine theme☆17Dec 9, 2024Updated last year
- 山东大学青岛校区 地图APP☆10Nov 7, 2020Updated 5 years ago
- A Strong FuxiCTR Baseline for News CTR Challenge at RecSys 2024☆19Jul 13, 2024Updated last year
- 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.
- 一个轻量级java web框架，小巧易用但功能齐全。☆12Oct 9, 2017Updated 8 years ago
- Catmull-Clark网格细分算法☆15May 10, 2020Updated 6 years ago
- Material parsers and other tools, scripts Initially developed for Grobid Superconductor☆14Feb 21, 2025Updated last year
- generate GitHub/Gitea actions using nix☆49Jun 24, 2026Updated last week
- ☆13Aug 12, 2020Updated 5 years ago
- OpenRedukti is a C++ library for Interest Rate Swaps and Fras, supports bootstrapping of Interest Rate Curves, computing NPV and sensitiv…☆10Jul 28, 2023Updated 2 years ago
- An imitation of sudo, using run0 internally☆93Jun 15, 2026Updated 2 weeks ago
- MySQL 8.0.25 (InnoDB) 中文注释☆25Jul 31, 2025Updated 11 months ago
- ☆16Sep 1, 2022Updated 3 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.
- lecture notes that I wished were available somewhere☆17Dec 6, 2022Updated 3 years ago
- Network inference by fusing data from diverse distributions☆14Nov 25, 2016Updated 9 years ago
- Guitar stompbox collection☆10Nov 21, 2021Updated 4 years ago
- ☢️ Bring the post-apocalyptic charm of Fallout's Pip-Boy to your wrist with this custom watchface for the Mi Band 8☆22Apr 6, 2025Updated last year
- Computes trajectories for evolutionary dynamics.☆15Oct 6, 2020Updated 5 years ago
- Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.☆14Feb 26, 2014Updated 12 years ago
- SDU DataStructureCourseDesign Code☆11May 7, 2022Updated 4 years ago