本周Github有趣项目和工具如SQLSync等

本周Github有趣项目和工具：

SQLSync
SQLSync 是 SQLite 的离线优先协作封装程序，旨在同步用户、设备和边缘之间的网络应用程序状态。

示例用例

  • 具有面向结构化文件的数据模型（如 Figma）的 Web 应用程序。每个文件都可以是一个 SQLSync 数据库，从而实现实时本地第一协作和存在
  • 在边缘运行 SQLSync，对不可靠的网络条件具有较高的容忍度
  • 在 SQLite 只读副本上启用乐观突变

单击此链接将创建一个唯一的待办事项列表并将您重定向到其唯一的 URL。然后，您可以与朋友共享该 URL 或在多个设备（或浏览器）上打开它，以了解离线优先协作 SQLite 的强大功能。

特征

  • 最终一致的 SQLite
  • 乐观的读写
  • 反应式查询订阅
  • 实时协作
  • 离线优先
  • 跨表同步
  • 反应库


Gymbo
从头开始实现的基于梯度的符号执行引擎

Gymbo 是从头开始实现的基于梯度的符号执行引擎的概念验证。基于利用梯度下降求解 SMT 公式的最新进展[1, 2]，Gymbo 利用梯度下降来发现在符号执行期间满足每个路径约束的输入值。

与其他著名的符号执行工具相比，Gymbo 的实现明显更简单、更紧凑。我们希望这个项目能够帮助个人掌握符号执行的基本原理以及通过梯度下降解决 SMT 问题。

Gymbo 的一种实际用途是调试神经网络等 ML 模型以检测意外行为。例如，您可以通过将神经网络转换为命令式程序来使用 Gymbo 生成对抗性示例。

Gymbo 将路径约束转换为数值损失函数，仅当满足路径约束时才变为负值。

Gymbo 完全用 C++ 实现，只需要标准库。从源代码到堆栈机的编译过程基于 rui314/chibicc [4] 的实现，而符号执行方法则受到 beala/symbolic [5] 的启发。


Biome
Biome 是一个用于Web项目的高性能工具链。

  • Biome 是JavaScript、TypeScript、JSX和JSON的快速格式化程序，与Prettier 的兼容性达到96%。
  • Biome 是JavaScript、TypeScript和JSX的高性能 linter，具有来自 ESLint、TypeSCript ESLint 和其他来源的170 多个规则。它输出详细的上下文诊断信息，帮助您改进代码并成为更好的程序员！ 

# 格式化文件
npx @biomejs/biome format --write ./src

# lint 文件
npx @biomejs/biome lint ./src

# 运行格式化，lint 等，并应用安全的建议
npx @biomejs/biome check --apply ./src

# 在 CI 环境中检查所有文件是否符合格式，lint 等
npx @biomejs/biome ci ./src

Biome从一开始就被设计为可以在编辑器中交互使用。它可以在您编写错误代码时对其进行格式化和检查。

Biome拥有一流的 LSP 支持，具有复杂的解析器，可以完全保真地表示源文本和一流的错误恢复。
Biome统一了以前单独工具的功能。建立在共享基础上，使我们能够为处理代码、显示错误、并行工作、缓存和配置提供一致的体验。


hysp
每个黑客都值得拥有的独立unix 或linux包管理器。

Excalidraw
开源虚拟手绘风格白板。协作式、端到端加密；

Loco
用于副项目和初创企业的 Rust 一人框架。类似RoR的Rust 快速框架，Loco 遵循 Rails。Rails 概念经过仔细调整以适应现代 Rust 开发。

Endatabas
Endabas 是一个具有完整历史记录的 SQL 文档数据库。

LinGo
LinGo 是一款基于终端的语言学习应用程序，可让您在阅读文本的同时学习语言。

LinGo 是一个基于终端的语言习得应用程序，可让您在阅读文本的同时学习语言。该应用程序允许您加载文本、阅读它们、根据您对单词的了解用不同颜色标记单词、现场听单词发音并获得每个单词的翻译，而无需离开应用程序；您标记的所有单词都将保存在您的本地计算机上，并且可以轻松导入到 anki 或 memrise 抽认卡中。该应用程序完全基于键盘，与其他替代方案相比，使用起来更快。