tristanbuckmaster/fluid_lean
О проекте
Формализация гидродинамики и механики жидкостей на языке Lean 4. Библиотека для математических доказательств в области fluid dynamics.
Чем пригодится
- Формализовать и проверить доказательства теорем гидродинамики на Lean
- Использовать как основу для формальной верификации математических моделей жидкостей
Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях.
Почему он в тренде
- Сегодня 1 звезда.
- Репозиторию 5 дней, а у него уже 255 звёзд.
- Топ новых репозиториев за неделю: #50.
Звёзды по дням
Столбики — звёзды за день, линия — обычный темп. Красным — дни всплесков.
Цифры
- Всего звёзд
- 255
- Звёзд за сутки
- 1
- Форков
- 20
- Issues и pull requests
- 1
- Наблюдателей
- 9
- Язык
- Lean
- Создан
- 8 сентября 2026
- Последний коммит
- 8 сентября 2026
Доверие к звёздам
Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.
Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.
Где замечен
- 13 сентября 2026Топ новых репозиториев за неделю: #44
Поделиться
Бейдж для README
Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.
[](https://gitnova.dev/r/tristanbuckmaster/fluid_lean)Похожие проекты
-
6,9
yifanzhang-pro/recurrent-looped-tranformer
Страница проекта Recurrent Looped Transformer (RLT) — технический отчёт о рекуррентной looped-архитектуре трансформера с латентным рассуждением и сквозным состоянием между prompt и ответом. Репозиторий содержит только…
-
4,4
yjz211/vivid-figures-skill
Skill для AI-ассистентов, который по вашим данным подбирает тип графика и генерирует научные иллюстрации: 108 рецептов, два стиля, PNG/PDF и исходный код. Для статей, матмоделирования и отчётов.
-
3,8
ashleyotooligan/ant-1
Симулированный муравей с рекуррентным нейроконтроллером в 2D-арене: ищет источник запаха, запоминает вектор еды и возвращается в гнездо. Открытая лаборатория для наблюдения и вмешательства в сенсомоторный цикл.
-
3,5
fruitflydev/flycoinrh
Симуляция коннектома мозга плодовой мушки (165 122 нейрона) управляет браузером: курсором и кликами, чтобы запускать токены на Robinhood Chain и бесцельно бродить по интернету.
-
3,2
kevinzakka/mjbatch
Библиотека на Python для параллельного запуска тысяч симуляций MuJoCo на CPU через C++ thread pool с доступом к состоянию и параметрам каждой симуляции.
-
3,2
openai/NavierStokesAndEuler
Формализации на Lean 4 результатов о конечном времени разрушения решений уравнений Навье–Стокса и Эйлера, включая сертификаты для задач тысячелетия. Нужен математикам и специалистам по формальным доказательствам.