核手提箱 可扩展服务 policy 颈挂空调 计算机硬件 极端主义 PostgreSQL AI工具 儿童读物 化学 即时消息 代码审查 反向工程 KDE 数据安全 超级计算机 植物学 分析化学 插图 Three.js 泄露 初创 Verizon GPT-3 数字革命 强力球 弗林特水危机 最快飞行速度 加速器项目 更多

Glance:一个将所有订阅源集中在一处的自托管仪表盘 (github.com)

Glance是一个自托管的仪表盘,可以将所有订阅源集中在一处。它支持RSS订阅、Subreddit帖子、天气、书签、YouTube视频、日历、股票、iframe、Twitch频道和GitHub发布等多种小部件。Glance针对移动设备进行了优化,速度快,重量轻,JS代码极少,没有臃肿的框架,依赖项非常少。

Glider:开源电子墨水显示器 (github.com)

Glider是一款开源电子墨水显示器,专注于低延迟和高刷新率。它支持具有并行接口的电泳显示面板,包括单色和彩色滤光片阵列(如Kaleido)彩色屏幕。Glider具有极低的处理延迟(小于20微秒),支持二进制、4级灰度和16级灰度输出模式,以及优化的二进制和4级灰度驱动模式。此外,它还提供混合自动二进制和16级灰度驱动模式。

GitHub - google-ai-edge/model-explorer: 现代模型图可视化器和调试器 (github.com)

Model Explorer是一款直观的模型图可视化工具,它以分层方式组织模型操作,用户可以动态地展开或折叠这些层次。Model Explorer还提供了丰富的功能来帮助模型探索和调试,包括突出显示输入和输出操作、在节点上叠加元数据、在交互式弹出窗口中显示层、执行搜索、显示相同的层、GPU加速图形渲染等等。Model Explorer目前支持TFLite、TF、TFJS、MLIR和PyTorch(导出程序)模型格式,并为开发人员提供了一个扩展框架,可以轻松地添加对其他格式的支持。

卷积 Kolmogorov-Arnold 网络 (CKAN) (github.com)

该项目将 Kolmogorov-Arnold 网络 (KAN) 的创新架构扩展到卷积层,将卷积的经典线性变换更改为每个像素中可学习的非线性激活。与传统卷积网络相比,KAN 卷积网络需要的参数明显更少,这在处理大型数据集和复杂模型时具有潜在优势。虽然初步评估结果尚未显示出显著的性能提升,但随着模型和数据集复杂性的增加,预计 KAN 卷积网络的性能将得到提升。

GitHub - andydunstall/pico: 反向代理连接外部网络(隧道) (github.com)

Pico是一个开源的Ngrok替代方案,旨在服务生产流量并易于托管(尤其是在Kubernetes上)。Pico 可以用于暴露客户网络中的服务、构建自带云 (BYOC) 服务或连接到物联网设备。代理服务器可以作为节点集群托管,以实现容错、扩展和零停机部署。上游服务连接到 Pico 并注册端点。然后,Pico 将通过其仅出站连接将端点请求路由到已注册的上游服务。这意味着你可以在不打开公共端口的情况下暴露你的服务。

Verilator: 开源 SystemVerilog 模拟器和代码检查工具 (github.com)

Verilator 是一款开源的 Verilog/SystemVerilog 模拟器和代码检查工具,它速度快,支持多线程输出,被广泛应用于工业界和学术界。Verilator 接受 Verilog 或 SystemVerilog 代码,执行代码质量检查,并将其编译成多线程的 C++ 或 SystemC 代码。Verilator 的性能优于许多商业模拟器,并且是开源的,因此您可以节省许可证费用。

GitHub - containers/podman-desktop-extension-ai-lab: 在本地环境中使用容器处理大型语言模型 (github.com)

Podman AI Lab 是 Podman Desktop 的开源扩展,用于在本地环境中使用大型语言模型 (LLM)。 它提供了一个包含常见 AI 用例的配方目录、一组精选的开源模型,以及一个用于学习、原型设计和实验的游乐场。 Podman AI Lab 帮助您快速轻松地将 AI 引入您的应用程序,而无需依赖笔记本电脑以外的基础架构,从而确保数据隐私和安全。

GitHub - ankurv2k6/daksh-toolchanger-v2: DAKSH 工具更换器 V2 (github.com)

DAKSH 工具更换器 V2 是一款完全 3D 打印的机械工具更换器,与 Voron Trident、1.8、2.4 和 RatRig VCore 3 等不同的 CoreXY 平台兼容。 该项目完全开源,可免费用于非商业目的。DAKSH V2 工具更换器具有机械工具更换器,超快工具更换时间低于 4 秒,完全 3D 打印等特点。

GitHub - bobeff/open-source-games:开源游戏列表 (github.com)

本文提供了一份开源视频游戏和商业视频游戏的开源重制版列表,涵盖了动作、冒险、商业、城市建设、第一人称射击、平台跳跃、解谜、竞速、即时战略、Roguelike、角色扮演、沙盒、弹幕射击、体育、第三人称射击、塔防和回合制策略等多种游戏类型,并提供了每个游戏的源代码链接。

GitHub - uysalibov/gezgin: 使用 Raylib 和 OpenStreetMap 数据进行现代寻路 (github.com)

gezgin是一款使用C++和raylib编写的简单路径查找可视化应用程序,可以直观地探索伊斯坦布尔的街道。它利用OpenStreetMap数据、Overpass API和Dijkstra算法进行寻路,并以60 FPS的速度渲染超过30万个节点和道路。该项目还涉及地理空间索引、标准化和缩放,并使用邻接表作为数据结构。

树莓派语音助手Pi-card (github.com)

Pi-card是一个完全在树莓派上运行的AI语音助手,它能够像标准LLM(如ChatGPT)一样在对话环境中执行任何操作。此外,如果配备了摄像头,您还可以要求Pi-card拍照、描述它看到的内容,然后提出有关该图像的问题。Pi-card完全在您的树莓派上运行,使用whipser.cpp进行音频转录,使用llama.cpp进行视觉语言建模。

GitHub - paradedb/paradedb:dev 分支下的 pg_lakehouse (github.com)

pg_lakehouse是一个Postgres扩展,它将Postgres转换为一个分析查询引擎,可以处理S3等对象存储和Delta Lake等表格式。查询被下推到Apache DataFusion,它提供了出色的分析性能。支持以下对象存储、表格式和文件格式的组合。pg_lakehouse支持Postgres 14、15和16。即将支持Postgres 12和13。

Pipecat:一个用于语音和多模态对话式AI的开源框架 (github.com)

Pipecat是一个用于构建语音和多模态对话代理的开源框架,可用于创建个人教练、会议助理、儿童故事讲述玩具、客户支持机器人等。它支持多种AI服务和实时媒体传输,并提供易于使用的API和示例应用程序,方便开发者快速上手。

GitHub - ogxd/gxhash:最快的哈希算法 📈 (github.com)

GxHash是一个非常快速且稳健的非加密哈希算法。它利用SIMD指令、高指令级并行和紧凑的字节码实现了高速性能,并通过多轮硬件加速AES块密码进行高效的比特混合,使其具有低碰撞率、均匀分布和高雪崩特性。GxHash通过了SMHasher测试,并提供了种子随机化以增强抗DoS攻击能力。

GitHub - buxlabs/boxwood: 使用 JavaScript 编写的服务器端模板引擎 (github.com)

Boxwood是一个使用JavaScript编写的服务器端模板引擎,其设计目标包括:将模板拆分为组件、对每个组件的CSS进行哈希处理、自动压缩CSS、内联关键CSS、模板可以导入其他依赖项、内联图像或SVG、支持i18n、对SEO友好、体积小、易于上手、语法熟悉且易于测试。

GitHub - mitjafelicijan/makext: GNU Make 的生活质量扩展 (github.com)

makext是一组用于Makefiles的实用扩展,旨在简化和增强基于Make的项目的函数。这些扩展提供了额外的功能和便利功能,以改进GNU Make作为任务运行器的整体用法。所有扩展都用GNU Make编写,因此没有使用其他语言,这使得它非常容易嵌入,并且除了GNU Make之外没有其他依赖项。

GitHub - PackJC/YoutubeToMP3:一款C# Windows窗体应用程序,允许用户将YouTube视频下载为MP3文件 (github.com)

这是一个C# Windows窗体应用程序,允许用户将YouTube视频下载为MP3文件。用户可以输入YouTube URL,点击下载按钮后,应用程序会使用YoutubeExplode获取并下载视频。进度条实时更新,显示下载进度。下载完成后,应用程序使用MediaToolkit将视频转换为MP3。用户可以通过SaveFileDialog选择MP3文件的保存位置。完成后会弹出完成通知。

Yi-1.5:性能更强的升级版Yi模型 (github.com)

Yi-1.5是Yi的升级版本,经过5000亿token的高质量语料库持续预训练,并在300万个不同的微调样本上进行了微调。与Yi相比,Yi-1.5在编码、数学、推理和指令跟随能力方面表现更出色,同时仍然保持了在语言理解、常识推理和阅读理解方面的出色能力。Yi-1.5提供三种模型尺寸:34B、9B和6B。

GitHub - kzemek/es6_maps: Elixir 映射的 ES6 类简写语法:`%{foo, bar} = map; IO.puts(foo)` (github.com)

es6_maps 项目为 Elixir 映射引入了类似 ES6 的简写语法,简化了频繁使用映射字面量的代码模式,例如 `ctx = %{variable: variable, user: user, ...}`。它通过在运行时替换 Elixir 编译器的 elixir_map 模块来实现,将映射键 %{k} 替换为 %{k: k}。该项目不产生运行时开销,并且与 JavaScript 和 Rust 等其他语言的简写语法类似。

GitHub - noisysockets/nsh: 噪声套接字命令行界面 (github.com)

噪声套接字命令行界面 (nsh) 是一个用于配置和管理用户空间 WireGuard 连接的工具。它包含噪声套接字 Shell,这是一个使用 WireGuard 进行身份验证和加密的安全远程 Shell。可以通过终端或 Web 浏览器访问该 Shell。文章介绍了 nsh 的使用方法,包括初始化配置、添加节点、启动服务器以及通过命令行界面或浏览器连接到服务器。

微软发布monitors4codegen:基于静态代码分析的代码语言模型监控解码 (github.com)

该文章介绍了微软在NeurIPS 2023发表的论文“基于代码库上下文静态分析的代码语言模型监控解码”的官方代码和数据。文章介绍了监控引导解码(MGD)方法,该方法利用静态代码分析来引导代码语言模型的解码过程,从而生成更符合语法和语义规则的代码。文章还介绍了用于评估代码语言模型的PragmaticCode和DotPrompts数据集,以及一个名为multilspy的语言服务器客户端库,用于获取和使用各种静态分析的结果。

256字节的微型W8奇幻控制台介绍 (github.com)

文章介绍了一个名为Encounter的256字节的微型W8奇幻控制台介绍,它试图在有限的空间内带来电影般的体验。该项目使用了WebAssembly和CurlyWAS语言,通过精心编写的代码实现了水波、光影等视觉效果。作者还提供了视频演示和代码注释,方便读者理解其工作原理。

GitHub - Technion-Kishony-lab/data-to-paper:AI 驱动的科研 (github.com)

data-to-paper是一个人工智能驱动的科研框架,它以原始数据为起点,生成可验证的科研论文。该框架系统地引导大型语言模型和基于规则的代理,从注释数据开始,创建研究假设,进行文献检索,编写和调试数据分析代码,解释结果,最终逐步撰写完整的科研论文。

GitHub - vishapoberon/oberonbyexample: Oberon by Example (github.com)

Oberon by Example是一个使用示例介绍Oberon-2的实践指南。Oberon是一种由Niklaus Wirth于1986年创建的通用编程语言,Oberon-2是对Oberon的扩展,增加了有限的反射和面向对象编程工具、作为指针基类型的开放数组、只读字段导出等功能。该资源库包含hello world、类型、变量、常量、for循环、while循环、if/else语句、case语句、数组、过程、过程函数、VAR参数等示例,旨在帮助初学者更好地学习Oberon-2编程语言。

CORDIC算法:低功耗硬件的三角函数计算利器 (github.com)

CORDIC算法是一种在低功耗硬件上计算三角函数的有效方法,它可以避免使用浮点运算和庞大的查找表。该算法的核心思想是通过一系列逐渐变小的角度旋转向量,最终向量的分量将收敛到目标角度的正弦和余弦值。CORDIC算法通过预先计算一系列反正切值,并将旋转矩阵中的正切值替换为2的幂的倒数,从而将乘法运算简化为位移运算。最终,CORDIC算法仅使用简单的加法和位移操作即可高效地计算三角函数。

受够了复杂的博客解决方案,用git仓库里的markdown文件就够了 (github.com)

Francis Stokes厌倦了复杂的博客解决方案,选择使用git仓库中的markdown文件来搭建博客。他认为这种方式简单有效,并提供了一个定制的RSS feed生成器。

GitHub - NHAS/wag: 简单 Wireguard 双因素认证 (github.com)

Wag项目为Wireguard添加了多因素认证、路由限制和设备注册功能。其主要特点包括:定义需要多因素认证授权的路由,或始终可公开访问的路由;提供简单的API用于注册新客户端;支持高可用性;提供多种多因素认证选项,包括WebAuthn、OIDC等。

巨大图标集React组件 (github.com)

这是一个用于在React应用程序中使用图标的开源组件库,它提供了大量的高质量SVG图标。这些图标被组织成不同的类别,如社交媒体、用户界面元素、商业和技术等。组件库使用简单的API,易于使用,并提供对图标颜色、大小和旋转的自定义。

Meemaw:可扩展的 Python 网络应用程序框架 (github.com)

Meemaw 是一个旨在可扩展和易于使用的 Python 网络应用程序框架。它提供了一组强大的工具,帮助开发人员快速构建和部署健壮高效的 Web 应用程序。Meemaw 特别适用于需要处理大量并发请求和数据的应用程序。它使用异步 I/O 和事件循环模型,使其能够以极少的资源高效地处理大量请求。此外,Meemaw 还提供了一个全面的功能集,包括身份验证、授权、数据验证、缓存和模板引擎,以帮助开发人员快速创建全面的企业级应用程序。

SuperFile:一个改善文件传输体验的开源项目 (github.com)

Github 上的 SuperFile 项目是一个开源项目,致力于改善文件传输体验。它提供了一个基于 Web 的文件传输平台,允许用户通过浏览器发送和接收大文件,而无需依赖电子邮件或文件共享服务。SuperFile 支持各种文件类型,包括视频、音频、文档和图像,并提供了安全可靠的文件传输。该项目还支持文件加密、跟踪和管理功能,让用户可以方便地控制和保护他们的文件。

← Previous 1 3 4 5 6 7 8