由于 trendforge.devlive.top 访问受限,请切换到 trendforge.devlive.org 域名

v

话题找到数量

composewell/streamly

在Haskell中实现高性能、流式与并发函数式编程

921
71
334
排名 #21
6月28日
查看详情

hrsh7th/vim-vsnip

支持LSP/VSCode片段格式的vim/nvim代码片段插件

917
41
641
+1
排名 #22
8月6日
查看详情

nvim-telescope/telescope-frecency.nvim

一个telescope.nvim扩展,在从编辑历史中选择文件时提供智能优先级排序。

917
36
447
+2
排名 #14
5月8日
查看详情

proper-testing/proper

PropEr:受QuickCheck启发的Erlang基于属性的测试工具

916
167
496
排名 #2
8月7日
查看详情

NVIDIA/nvbench

CUDA内核基准测试库

915
116
728
+1
排名 #7
8月7日
查看详情

digital-asset/daml

Daml智能合约语言

912
256
837
排名 #3
8月6日
查看详情

swiftwasm/JavaScriptKit

Swift framework to interact with JavaScript through WebAssembly.

911
63
562
+15
排名 #14
2月15日
查看详情

frappe/frappe-ui

用于快速 UI 开发的组件与工具集

910
309
670
排名 #13
5月16日
查看详情

vercel/chat

用于构建跨Slack、Microsoft Teams、Google Chat、Discord等平台的聊天机器人的统一TypeScript SDK

910
54
493
+96
排名 #8
2月27日
查看详情

bountyyfi/lonkero

Lonkero - 环绕你的攻击面。专为真实渗透测试设计的专业级扫描器。快速。模块化。Rust。

909
65
370
+21
排名 #16
5月20日
查看详情

rbong/vim-flog

一款专为Vim/Neovim设计的极速、精美且功能强大的Git分支查看工具

908
30
569
排名 #6
8月2日
查看详情

torlando-tech/columba

基于LXMF和Reticulum协议,使用蓝牙低功耗、TCP或RNode(LoRa)通信的原生Android消息应用

906
90
536
+9
排名 #2
7月1日
查看详情

JuliaDynamics/Agents.jl

基于智能体的建模框架(Julia实现)

905
148
311
排名 #18
6月28日
查看详情

Commando-X/vuln-bank

一款专为练习Web应用、API、AI集成应用安全测试及安全代码审查而设计的故意存在漏洞的银行应用。它包含现实应用中常见的漏洞,是安全专业人员、开发者和爱好者学习渗透测试与安全编码实践的理想平台。

903
325
536
+13
排名 #6
8月7日
查看详情

emanuele-em/proxelar

一个可编程的中间人代理,可拦截HTTP/HTTPS流量,让您无需猜测应用的行为。支持正向与反向模式、TLS拦截、终端界面、命令行及Web图形界面。

903
56
434
+17
排名 #8
4月23日
查看详情

steffest/DPaint-js

基于网页的图像编辑器,仿照传奇的Deluxe Paint设计,专注于复古Amiga文件格式:读写Amiga图标文件和IFF ILBM图像

901
51
558
+30
排名 #2
1月27日
查看详情

mikesmithgh/kitty-scrollback.nvim

😽 使用 Neovim 打开你的 Kitty 回滚缓冲区,喵妙无比!

898
23
545
排名 #16
7月21日
查看详情

meursyphus/ssgoi

适用于主流SSR框架和浏览器(包括Safari)的动画页面过渡效果

895
46
446
+5
排名 #5
5月3日
查看详情

oku-ui/primitives

Vue Radix UI Primitives 1:1。用于构建高质量、可访问用户界面的组件、图标、颜色和模板。

894
33
295
排名 #16
6月27日
查看详情

superdoc-dev/superdoc

🦋️ SuperDoc - 现代DOCX编辑器与代理SDK

894
190
292
+8
排名 #11
7月16日
查看详情

bytechefhq/bytechef

一个开源平台,统一了 AI 智能体编排与工作流自动化——自主性与精准性集于一身。

890
151
328
+20
排名 #11
6月30日
查看详情

AeneasVerif/aeneas

面向 Rust 程序的验证工具链

889
94
458
+1
排名 #9
8月4日
查看详情

pingcap/tispark

TiSpark 专为在 TiDB/TiKV 之上运行 Apache Spark 而构建

889
250
596
排名 #19
6月28日
查看详情

ScalingIntelligence/KernelBench

KernelBench:大语言模型能否编写GPU内核?——支持Torch转CUDA的基准测试与工具集

882
147
517
+4
排名 #13
3月23日
查看详情
助手