Теорема Прессовая Музей: Оригинальный Эдинбургский LCF
Theorem Prover Museum: The Original Edinburgh LCF .
GitHub
GitHub - theoremprover-museum/LCF77: The original Edinburgh LCF.
The original Edinburgh LCF. Contribute to theoremprover-museum/LCF77 development by creating an account on GitHub.
Показать HN: SERP Проверка: Бесплатная Проверка SERP - анализировать SERP из 230 стран
Show HN: SERP Checking: Free SERP Checker – Analyze SERPs from 230 Countries .
GitHub
GitHub - serping/serp-checker
Contribute to serping/serp-checker development by creating an account on GitHub.
Артефакты Claude с открытым исходным кодом - построены из Llama 3.1 405b
Open source Claude Artifacts – built with Llama 3.1 405B .
GitHub
GitHub - Nutlope/llamacoder: Open source Claude Artifacts – built with Llama 3.1 405B
Open source Claude Artifacts – built with Llama 3.1 405B - Nutlope/llamacoder
Написано 16 -летним, книга о том, как работают компьютеры
Written by a 16 year old, a book on how computers work .
GitHub
GitHub - hackclub/RAM-a-thon: Just a detailed in-depth, and comprehensive explanation of how computers operate internally, focusing…
Just a detailed in-depth, and comprehensive explanation of how computers operate internally, focusing on RAM and CPU aspects, respectively. By @ILyesMk2 - hackclub/RAM-a-thon
Logforth: универсальная и расширяемая реализация журнала Rust
Logforth: Rust's versatile and extensible logging implementation .
GitHub
GitHub - tisonkun/logforth: A versatile and extensible logging implementation.
A versatile and extensible logging implementation. - tisonkun/logforth
Epicenv: разделение секретов среди сотрудников с git
EpicEnv: Sharing secrets among collaborators with Git .
GitHub
GitHub - danthegoodman1/EpicEnv: An epic environment manager to fix local environment variable management among git collaborators.…
An epic environment manager to fix local environment variable management among git collaborators. Like python virtual envs, but for environment variables. - danthegoodman1/EpicEnv
Показать HN: Vamana, векторный поиск с использованием приблизительного ближайшего соседа
Show HN: Vamana, vector search using Approximate Nearest Neighbour .
GitHub
GitHub - sushrut141/vamana: Exploration of Vector database Index for fast approximate nearest neighbour search.
Exploration of Vector database Index for fast approximate nearest neighbour search. - sushrut141/vamana
Гранат-небольшая и кроссплатформенная сетевая библиотека C ++
Garnet – Small and Cross-Platform C++ Networking Library .
Winevdm: 16-битные окна (Windows 1.x, 2.x, 3.0, 3.1 и т. Д.) На 64-битных Windows
Winevdm: 16-bit Windows (Windows 1.x, 2.x, 3.0, 3.1, etc.) on 64-bit Windows .
GitHub
GitHub - otya128/winevdm: 16-bit Windows (Windows 1.x, 2.x, 3.0, 3.1, etc.) on 64-bit Windows
16-bit Windows (Windows 1.x, 2.x, 3.0, 3.1, etc.) on 64-bit Windows - otya128/winevdm
QUB - структура для создания веб -сайтов с QBASIC
Qub – a framework for building websites with QBasic .
GitHub
GitHub - jamonholmgren/qub: Qub is a CLI and QB64 web framework for building websites with QBasic. Star this repo!
Qub is a CLI and QB64 web framework for building websites with QBasic. Star this repo! - jamonholmgren/qub
Show HN: SaxAmll-онлайн-анализатор XML для приложений LLM, управляемый событиями, для приложений LLM
Show HN: SaxaMLL – an event-driven online XML parser for LLM applications .
GitHub
GitHub - alikiki/saxamll: A no-frills online XML parser specifically designed for LLM applications.
A no-frills online XML parser specifically designed for LLM applications. - alikiki/saxamll
Возраст - это простой, современный и надежный инструмент шифрования файлов, формат и библиотека GO
Age is a simple, modern and secure file encryption tool, format, and Go library .
GitHub
GitHub - FiloSottile/age: A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options…
A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability. - FiloSottile/age