cppHusky/IntegralCollection 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

cppHusky/IntegralCollection

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/cppHusky/IntegralCollection)

Close

cppHusky / IntegralCollectionView on GitHubMore

• External links
• Readme badge

《积分精选》重制版

☆16Dec 24, 2025Updated 2 months ago

Alternatives and similar repositories for IntegralCollection

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

• closure-studio / ArknightsGamedataPure

  View on GitHub
  arknights gamedata compatible with older data structures formatted using JSON
  ☆13Feb 10, 2026Updated 2 weeks ago
• malichan / arknights-poll

  View on GitHub
  ☆11Nov 11, 2022Updated 3 years ago
• dduutt / pomochron

  View on GitHub
  Pomochron是一款使用Tauri开发的跨平台番茄钟应用，旨在帮助您提高时间管理能力和专注力。
  ☆13Sep 27, 2024Updated last year
• leanprover / comparator

  View on GitHub
  ☆26Updated this week
• RickySkywalker / LeanOfThought-Official

  View on GitHub
  This is the official implementation for MA-LoT.
  ☆19Aug 4, 2025Updated 6 months ago
• moleculediscovery / workshop2022

  View on GitHub
  Machine learning for molecules workshop 2022
  ☆13Nov 30, 2022Updated 3 years ago
• bammt / Learn-to-check

  View on GitHub
  the datasets of our paper
  ☆11Feb 26, 2024Updated 2 years ago
• astral4 / arkdata

  View on GitHub
  A program for fetching Arknights game data
  ☆13Jan 11, 2025Updated last year
• Physics-Lee / Compu-Physi-2024-Fall

  View on GitHub
  Computational Physics B at USTC, 2024 Fall.
  ☆14Updated this week
• YuiKun2002 / FVM.app

  View on GitHub
  美食大战老鼠-回忆版-源代码
  ☆11Aug 29, 2022Updated 3 years ago
• Yuanhy1997 / HyPe

  View on GitHub
  HyPe: Better Pre-trained Language Model Fine-tuning with Hidden Representation Perturbation [ACL 2023]
  ☆14Jul 11, 2023Updated 2 years ago
• alerad / leancert

  View on GitHub
  Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked
  ☆34Updated this week
• cz-redit-vault / it-big-short

  View on GitHub
  IT 大V韭菜恩爱史
  ☆11Dec 7, 2019Updated 6 years ago
• hdcola / telegram-forward-bot

  View on GitHub
  将你的发言匿名转发到群聊的机器人
  ☆12Aug 2, 2020Updated 5 years ago
• rugby0823 / bert-predict

  View on GitHub
  simplify the prediction process for a finetuned bert model
  ☆11Jun 19, 2019Updated 6 years ago
• Svenja-dev / claude-code-skills

  View on GitHub
  Custom Claude Code CLI skills for B2B SaaS development: quality gates, TypeScript enforcement, multi-LLM advisor, and more
  ☆30Feb 14, 2026Updated 2 weeks ago
• huxiangyou / moegirl-archive

  View on GitHub
  A Python program to archive certain pages on Moegirl 萌娘百科存档工具
  ☆10Mar 22, 2020Updated 5 years ago
• mbjpxncp7k / KardarSPoP-CHS

  View on GitHub
  ☆11Jul 17, 2023Updated 2 years ago
• Yue-plus / vuepress-theme-rhinelab

  View on GitHub
  明日方舟莱茵生命阵营的 VuePress 主题，开发中……
  ☆12Jul 18, 2022Updated 3 years ago
• zlingkang / rover_robot

  View on GitHub
  A low-cost ROS navigation-enabled mobile robot platform
  ☆12Jul 15, 2018Updated 7 years ago
• glotzerlab / ovito-scripts

  View on GitHub
  A collection of scripts for pairing OVITO with freud and other Glotzer lab packages
  ☆16Feb 9, 2026Updated 2 weeks ago
• littlebutt / Arcapi

  View on GitHub
  A Python API for Arc Prober.
  ☆11Sep 5, 2020Updated 5 years ago
• pkshashank / GFLeanTransfer

  View on GitHub
  ☆12Mar 27, 2024Updated last year
• MovFish / nonebot-plugin-essence-message

  View on GitHub
  NoneBot-Plugin
  ☆13Sep 30, 2025Updated 5 months ago
• ujiuji1259 / biocom

  View on GitHub
  ☆10Jun 16, 2021Updated 4 years ago
• LuoXiaoHeics / Continual-Tune

  View on GitHub
  ☆10Feb 6, 2025Updated last year
• DeepLangAI / LingoEDU

  View on GitHub
  ☆38Dec 26, 2025Updated 2 months ago
• xinhjBrant / APE-Bench_I

  View on GitHub
  ☆23Feb 3, 2026Updated 3 weeks ago
• fzyzcjy / ai_math_paper_list

  View on GitHub
  AI for Mathematics Paper List
  ☆17Jan 14, 2025Updated last year
• ruc-ai4math / LeanStateSearch

  View on GitHub
  ☆18Apr 5, 2025Updated 10 months ago
• logical-intelligence / proofs

  View on GitHub
  ☆20Dec 3, 2025Updated 2 months ago
• nonebot / noneblockly

  View on GitHub
  Craft NoneBot plugins with ease: Embrace low-code development through Blockly.
  ☆10Feb 4, 2025Updated last year
• HazyResearch / medical-ned-integration

  View on GitHub
  Cross-domain data integration for named entity disambiguation in biomedical text
  ☆11Dec 15, 2021Updated 4 years ago
• Yuanhy1997 / Auto-Diagnosis-by-RL-and-Classification

  View on GitHub
  Efficient Symptom Inquiring and Diagnosis via Adaptive Alignment of Reinforcement Learning and Classification [AI in Medicine Journal]
  ☆12May 20, 2022Updated 3 years ago
• piellardj / non-circular-gears

  View on GitHub
  Non-circular gears generator. Rendered with SVG.
  ☆14Feb 10, 2024Updated 2 years ago
• nonebot / nonechat

  View on GitHub
  通用控制台聊天界面
  ☆14Jul 24, 2025Updated 7 months ago
• thu-ml / LM-Calibration

  View on GitHub
  ☆17May 31, 2023Updated 2 years ago
• he0119 / nonebot-plugin-user

  View on GitHub
  NoneBot 用户插件
  ☆16Jan 5, 2026Updated last month
• RemyDegenne / CLT

  View on GitHub
  Central limit theorem in Lean
  ☆15Dec 27, 2025Updated 2 months ago