Leanssr: Ssreflect-подобный тактический язык для Lean
LeanSSR: An SSReflect-Like Tactic Language for Lean .
GitHub
GitHub - verse-lab/lean-ssr: LeanSSR: an SSReflect-Like Tactic Language for Lean
LeanSSR: an SSReflect-Like Tactic Language for Lean - verse-lab/lean-ssr
Littlefoot-вилка без jQuery из Bigfoot.js Popup сноски JavaScript Library
Littlefoot – a jQuery-free fork of Bigfoot.js popup footnotes JavaScript library .
GitHub
GitHub - goblindegook/littlefoot: Footnotes without the footprint.
Footnotes without the footprint. Contribute to goblindegook/littlefoot development by creating an account on GitHub.
Show HN: «MedSearch»- приложение поиска сходства вектора для получения медицинского изображения
Show HN: "MedSearch"- vector similarity search app for medical image retrieval .
GitHub
GitHub - pixelcaliber/MedSearch: Vector Search Application for Image Similarity Search, specifically designed for medical X-rays…
Vector Search Application for Image Similarity Search, specifically designed for medical X-rays, leveraging ResNet50 and Chest-XRay dataset and Milvus - pixelcaliber/MedSearch
Поддержите счастливые глазные яблоки даже с QUIC / HTTP3 в Python
Support Happy Eyeballs Even with QUIC / HTTP3 in Python .
GitHub
Release Version 3.5.5 · jawah/niquests
3.5.5 (2024-03-25)
Added
Support for Happy Eyeballs. This feature is disabled by default, you must pass happy_eyeballs=True within your session
constructor or http adapter in order to leverage thi...
Added
Support for Happy Eyeballs. This feature is disabled by default, you must pass happy_eyeballs=True within your session
constructor or http adapter in order to leverage thi...
Wanderer-Сохраните свои приключения с самостоятельной базой данных.
Wanderer – Save your adventures with a self-hosted trail database .
GitHub
GitHub - Flomp/wanderer: wanderer is a self-hosted trail database. Save your adventures!
wanderer is a self-hosted trail database. Save your adventures! - Flomp/wanderer
Pyenv - позволяет легко переключаться между несколькими версиями Python
Pyenv – lets you easily switch between multiple versions of Python .
GitHub
GitHub - pyenv/pyenv: Simple Python version management
Simple Python version management. Contribute to pyenv/pyenv development by creating an account on GitHub.
Друг: ИИ с открытым исходным кодом, носимый с 24H+ на одном зарядке
Friend: Open-Source AI Wearable with 24h+ on single charge .
GitHub
GitHub - BasedHardware/omi: AI wearables. Put it on, speak, transcribe, automatically
AI wearables. Put it on, speak, transcribe, automatically - BasedHardware/omi
Doku: платформа наблюдения с открытым исходным кодом LLM
Doku: Open-source LLM observability platform .
GitHub
GitHub - dokulabs/doku: 🚀 Open-source platform for evaluating and monitoring LLMs. Integrates with OpenAI, Cohere and Anthropic…
🚀 Open-source platform for evaluating and monitoring LLMs. Integrates with OpenAI, Cohere and Anthropic with stable SDKs in Python and Javascript. - GitHub - dokulabs/doku: 🚀 Open-source platform ...
Show HN: REEF-2-слойная эфемерная рамка для OpenTofu
Show HN: Reef – 2-layered Ephemeral Framework for OpenTofu .
GitHub
GitHub - relizaio/reef: REEF - Reliza Ephemeral Framework
REEF - Reliza Ephemeral Framework. Contribute to relizaio/reef development by creating an account on GitHub.
Ламукаль-мультимодальный проект с AI, сфокусированный на музыке
Lamucal – An AI-powered multimodal project focused on music .
GitHub
GitHub - Lamucal/Lamucal: An AI-powered multimodal project focused on music.
An AI-powered multimodal project focused on music. - Lamucal/Lamucal
SPQR 1.3.0: готовая к производству система для горизонтального масштабирования PostgreSQL
SPQR 1.3.0: a production-ready system for horizontal scaling of PostgreSQL .
GitHub
Meet SPQR 1.3.0 · pg-sharding spqr · Discussion #569
It's been a long time since the last SPQR release, and a lot of work has been done. Here's a brief review of what we've been working on. SPQR 2.0 news #431 In this release, we add new s...
Anybt: децентрализованная поисковая система BitTorrent с открытым источником
AnyBT: An Open Sourced Decentralized BitTorrent Search Engine .
Show HN: Nano-Web, бинарная веб-сервер с низкой задержкой, предназначенная для обслуживания спа-салонов
Show HN: Nano-web, a low latency one binary webserver designed for serving SPAs .
GitHub
GitHub - radiosilence/nano-web: 🔥 Ultra-fast in-memory static file server for SPAs and static content
🔥 Ultra-fast in-memory static file server for SPAs and static content - radiosilence/nano-web