🎓Automatically Update AI4math Papers Daily using Github Actions
☆15Oct 19, 2026Updated last week
Alternatives and similar repositories for daily-arxiv-ai4math
Users that are interested in daily-arxiv-ai4math are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🎓Automatically Update AI4Physics Papers Daily using Github Actions☆16Updated this week
- 🎓Automatically Update AI4Chemical-Engineering Papers Daily using Github Actions☆14Updated this week
- 🎓Automatically Update AI4Bio Papers Daily using Github Actions☆20Updated this week
- Decentralized App for LGBTQ+ Community☆16May 4, 2026Updated 5 months ago
- pyaspenplus is a lightweight Python wrapper to interact with Aspen Plus via a programmatic API.☆19Jan 9, 2026Updated 9 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 🎓Automatically Update AI4Chem Papers Daily using Github Actions☆32Oct 19, 2026Updated last week
- An LLM-based Delphi expert elicitation pipeline☆113May 4, 2026Updated 5 months ago
- MCP server for Oura API integration☆116May 4, 2026Updated 5 months ago
- Vue AICoding tool: Get any element in the application and pass it to opencode Claude Code, Cursor, etc.☆89Mar 15, 2026Updated 7 months ago
- Project to formally verify SPQR using Lean☆11Updated this week
- Can be personalized to ANY field you want! Auto update! Auto update Star Formation & Molecular Cloud papers at about 2:30am UTC (10:30am …☆17Updated this week
- Source files used for the Cedille Cast videos☆12Dec 28, 2025Updated 10 months ago
- Bimodal text editing and direct manipulation-driven synthesis on tangible values for (some subset of) OCaml.☆10Jul 2, 2026Updated 3 months ago
- Rust 实现的 12306 风格高并发铁路售票引擎：区间段库存/防超卖/削峰排队/候补兑现/WAL 崩溃恢复☆11Aug 14, 2026Updated 2 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- DynEMol: tools for studying Excited State Dynamics of Electrons in Molecules☆11Oct 10, 2026Updated 3 weeks ago
- ☆12Nov 25, 2023Updated 2 years ago
- ☆27Oct 24, 2026Updated last week
- The world's first AI-native systems programming language. Zero keywords, pattern matching, UFC. Following Cursed Lang (first AI esoteric …☆16Jun 3, 2026Updated 4 months ago
- Insight Mechanism Reproduction Program - Ramanujan pipeline, structure-induction windows, insight signatures. A Mushroom-Body Program tra…☆27Updated this week
- A curated list of Model Context Protocol (MCP) servers☆1,084Aug 7, 2026Updated 2 months ago
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆23Jul 13, 2023Updated 3 years ago
- Formal verification of Rust code with AI-assisted specification and proof.☆23Updated this week
- Official Implementation of CiteAgent Framework☆10Nov 18, 2025Updated 11 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 组件引用一览☆11Sep 7, 2024Updated 2 years ago
- 将恋爱双方蒸馏成AI skill，实现赛博恋爱，用于快速验证双方性格。☆20Aug 7, 2026Updated 2 months ago
- 使用 python 调用 ORCA 进行理论化学的计算，并封装了常用计算方法。DFT/量子化学/理论计算/理论化学/第一性原理☆14Nov 14, 2024Updated last year
- Sci-Reasoning: A Dataset Decoding AI Innovation Patterns☆20Jan 13, 2026Updated 9 months ago
- ☆35Sep 22, 2025Updated last year
- The Candle theorem prover (fork of the HOL Light sources)☆30Updated this week
- A text-based tool for identifying organic molecules.☆14Apr 14, 2023Updated 3 years ago
- Alcove is an MCP server that gives AI coding agents on-demand access to your private project docs — BM25 + vector hybrid search for preci…☆17Oct 23, 2026Updated last week
- ☆12Dec 24, 2025Updated 10 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Demos for the 2022 Many Electron Collaboration Workshop on PySCF☆12Jun 21, 2022Updated 4 years ago
- Students Reading Progress Analysis in Python☆11Jul 6, 2026Updated 3 months ago
- Adds discord rich presence to Outer Wilds☆12Mar 12, 2026Updated 7 months ago
- My GitHub profile☆12Jul 27, 2026Updated 3 months ago
- Jupyter Notebook Tutorials for Machine Learning in Chemistry (MLChem)☆20Jan 25, 2026Updated 9 months ago
- Base project for Unity 6 for XR apps and games using Universal Render Pipeline☆12Nov 29, 2025Updated 11 months ago
- 🎋 A collection listing all Achievements available on the GitHub profile 🏆 and how to get them🏅☆11Oct 13, 2025Updated last year