Skip to main content
⌘K
Drop a repoSign up
NEWvicrodh/qbzjust droppedNEWkowalski-ptr/compass-before-compactjust droppedNEWlastmile-ai/mcp-agentjust droppedREPOxai-org/grok-build+2097 stars 24hREPOmsitarzewski/agency-agents+659 stars 24hREPOsafishamsi/graphify+599 stars 24hREPOstablyai/orca+566 stars 24hREPOjamiepine/voicebox+537 stars 24hNEWvicrodh/qbzjust droppedNEWkowalski-ptr/compass-before-compactjust droppedNEWlastmile-ai/mcp-agentjust droppedREPOxai-org/grok-build+2097 stars 24hREPOmsitarzewski/agency-agents+659 stars 24hREPOsafishamsi/graphify+599 stars 24hREPOstablyai/orca+566 stars 24hREPOjamiepine/voicebox+537 stars 24h
lanyonai/AdvectionDiffusionpublicCgithub.com/lanyonai/AdvectionDiffusion
lanyonai avatar

AdvectionDiffusion

End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion equations in 1D, 2D, and 3D.

COTHERDECLINING VELOCITYTRENDING #975
Comments0CompareSet alertExportRSSVisit repo

// OWNER · lanyonai · REPO SNAPSHOT

github.com/lanyonai

lanyonai

End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion equations in 1D, 2D, and 3D.

GitHublanyonai
STARS50+0 · 7d
FORKS7+0 · 7d
CONTRIBUTORS0maintainer graph thin
OPEN ISSUES · PRS0· 0 
LICENSE—no license file
LANGUAGEC 
FOUNDED—
LOCATION—
MEMBERS—
PUBLIC REPOS—
TOTAL STARS—
FOCUS—
FUNDING—

//STAR HISTORY · 12M

+49 all-time-window
Stars · cumulative49 · today
//WHY IT'S TRENDING· narrative synthesis · medium confidence

lanyonai/AdvectionDiffusion is sitting at #975 on the trending leaderboard with a pulse of 12/100 with no cross-source channels firing yet — GitHub-stars-only signal so far.

It sits at 50 stars without a fresh weekly delta on record — the trending placement here is steady-state interest in the C other space rather than a 7-day breakout.

Watch-outs: no tagged release on record (treat as pre-stable).

↻ refreshed 16m ago· next sync in 49m· sourced from 0 channels · 0 mentions / 24h

// RELATED REPOS · CROSS-SOURCE OVERLAP

5 detected · 30d window
#01
pgvector/pgvector
C ecosystem peer.
CO-MENTIONS · 30D (0 total)
0
★ 22.2k
14
last · 7d ago
#02
shibco/ableton-linux
C ecosystem peer.
CO-MENTIONS · 30D (3 total)
3
★ 187
13
last · 21h ago
#03
realstrawhat/csakura
C ecosystem peer.
CO-MENTIONS · 30D (0 total)
0
★ 154
11
last · 1d ago
#04
sorryhumans/clawdmeter-plus
claude-codeShared tag: claude-code.
CO-MENTIONS · 30D (0 total)
0
★ 83
9
last · 3d ago
#05
ianhan/picograph
C ecosystem peer.
CO-MENTIONS · 30D (0 total)
0
★ 38
5
last · 15d ago

▌ FAQ · answers from the data spine

What is lanyonai/AdvectionDiffusion?
End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion equations in 1D, 2D, and 3D.
Who maintains AdvectionDiffusion?
Maintained by lanyonai (the owner) on GitHub.
What language is AdvectionDiffusion written in?
Primarily C.
When was AdvectionDiffusion created? When was the last update?
Created July 17, 2026 · last commit July 17, 2026.
How do I install AdvectionDiffusion?
Clone the repo:
git clone https://github.com/lanyonai/AdvectionDiffusion.git
Then follow the README in the cloned directory.
Is AdvectionDiffusion actively maintained?
stalled — no commits for an extended period

//COMMENTS · 0

live thread · operators only

Sign in to join the discussion

Be the first to comment.
Created
Updated
Last commit