Project Icon

jasmin

安全高效密码学编程语言与编译器

Jasmin是一个开源项目,包含专为高保证和高速密码学设计的编程语言及其编译器。这套工具使开发者能够创建安全高效的密码学代码。项目采用MIT许可证,为密码学研究和应用提供重要资源。相关工具和详细信息可在项目Wiki获取,适合密码学专业人士和爱好者使用。

spring-security - Java安全框架为Spring生态系统提供保护
GithubJava 17Spring IO PlatformSpring Security安全服务开源软件开源项目
Spring Security是Java安全框架,为Spring IO平台提供安全服务。支持Spring 6.0+和Java 17+。提供身份认证、授权、CSRF防护、会话管理等功能。使用Gradle构建,支持Maven集成。项目开源,遵循Apache 2.0许可。框架持续更新,文档完善,社区活跃。
jailbreakbench - 大语言模型越狱攻防能力评估基准
AI伦理GithubJailbreakBench基准测试安全性开源项目语言模型
JailbreakBench是一个评估大语言模型越狱攻防能力的开源基准。它包含JBB-Behaviors数据集、官方排行榜和越狱字符串存储库,全面追踪越狱攻击和防御进展。研究人员可利用JailbreakBench加载越狱字符串、访问数据集、进行红队测试,以及提交新的攻击和防御方法。该项目为大语言模型安全研究提供了稳定的性能比较平台。
jpostal - libpostal的Java绑定库,高效多语言地址解析与标准化
GithubJava绑定NLPjpostallibpostal地址解析开源项目
jpostal是libpostal的Java/JNI绑定库,为Java项目提供高效的多语言地址解析和标准化功能。该库支持地址扩展和组件解析,适用于全球物理地址处理和地理编码查询优化。jpostal易于集成,构建过程简单,兼容Linux和Mac OSX系统。项目提供详细的使用说明和测试方法,便于开发者快速上手。
spicy - 协议和文件格式解析器生成工具
C++GithubSpicyZeek协议分析开源项目解析器生成器
Spicy是一款开源的解析器生成工具,专为网络协议和文件格式设计。它使用统一的语言描述输入格式的语法和语义,生成高效的C++解析代码。Spicy支持增量解析和并发处理,可进行即时编译或预编译为共享库。此外,Spicy与Zeek无缝集成,允许用户无需编写C++代码即可为Zeek添加新的协议和文件分析器。Spicy采用BSD许可证发布,为用户提供了极大的使用自由。
jax - 高性能科学计算和机器学习的Python加速库
GPU加速GithubJAXXLA开源项目神经网络自动微分
JAX是一个专为高性能数值计算和大规模机器学习设计的Python库。它利用XLA编译器实现加速器导向的数组计算和程序转换,支持自动微分、GPU和TPU加速。JAX提供jit、vmap和pmap等函数转换工具,让研究人员能够方便地表达复杂算法并获得出色性能,同时保持Python的灵活性。
mirage - 构建安全高效的OCaml unikernel
GithubMirageOSOCamlunikernel云计算开源项目操作系统库
MirageOS是一个库操作系统,用于构建安全、高性能和资源高效的unikernel。开发者可在传统操作系统上编写OCaml代码,然后编译成独立的专用unikernel。这些unikernel可在Xen、KVM等多种虚拟化平台上运行,适用于公共云和私有环境。MirageOS提供命令行工具,简化了应用的配置和构建过程。
EasyJailbreak - 简化大语言模型越狱攻击研究的统一Python框架
AI对抗EasyJailbreakGithubPython框架大语言模型安全研究开源项目
EasyJailbreak是一个针对大语言模型安全研究的Python框架,将越狱攻击过程分解为可迭代步骤。框架提供多种选择器、变异器、约束和评估器组件,构建了越狱攻击实验平台。项目包含11种攻击方法在10种大语言模型上的结果,并提供API文档。研究人员可使用现有方法或添加新组件进行实验,便于大语言模型安全研究。
profanity - 命令行XMPP客户端 注重隐私和安全
GithubProfanityXMPP客户端即时通讯命令行工具开源软件开源项目
Profanity是一款基于命令行的XMPP即时通讯客户端,支持OTR、OMEMO等多种加密协议。该项目注重用户隐私和自由,提供安全的聊天环境,支持去中心化和自建服务器。Profanity界面简洁,功能丰富,包括多账户管理、插件系统等,适合重视隐私和安全的用户。作为开源项目,Profanity欢迎社区参与开发,共同打造更安全、自由的通讯工具。
Jlama - 面向Java应用的大型语言模型推理引擎
GithubJavaJlamaLLM推理开源项目模型支持量化模型
Jlama是一款面向Java应用的大型语言模型推理引擎,提供对GPT-2、BERT等模型的支持,集成多种分词器。其功能包括闪电注意力、专家混合,同时支持多种数据类型处理。Jlama借助最新Vector API加速推理,可实现分布式处理,适合集成LLM推理的开发者使用。
jdk - Java开发套件 构建高性能应用的核心工具集
GithubJDKJava开发工具包OpenJDK开源项目文档构建说明
JDK是Java开发的核心工具集,包含Java运行环境、开发工具和类库,用于构建跨平台应用。它支持从桌面到企业级的应用开发,官方文档提供构建说明。OpenJDK社区为JDK项目提供资源和支持。JDK使开发者能够利用Java功能创建软件解决方案。JDK是一个开源项目,其问题跟踪和社区互动可通过OpenJDK官方网站和bug跟踪系统进行。
项目侧边栏1项目侧边栏2
推荐项目
Project Cover

豆包MarsCode

豆包 MarsCode 是一款革命性的编程助手,通过AI技术提供代码补全、单测生成、代码解释和智能问答等功能,支持100+编程语言,与主流编辑器无缝集成,显著提升开发效率和代码质量。

Project Cover

AI写歌

Suno AI是一个革命性的AI音乐创作平台,能在短短30秒内帮助用户创作出一首完整的歌曲。无论是寻找创作灵感还是需要快速制作音乐,Suno AI都是音乐爱好者和专业人士的理想选择。

Project Cover

有言AI

有言平台提供一站式AIGC视频创作解决方案,通过智能技术简化视频制作流程。无论是企业宣传还是个人分享,有言都能帮助用户快速、轻松地制作出专业级别的视频内容。

Project Cover

Kimi

Kimi AI助手提供多语言对话支持,能够阅读和理解用户上传的文件内容,解析网页信息,并结合搜索结果为用户提供详尽的答案。无论是日常咨询还是专业问题,Kimi都能以友好、专业的方式提供帮助。

Project Cover

阿里绘蛙

绘蛙是阿里巴巴集团推出的革命性AI电商营销平台。利用尖端人工智能技术,为商家提供一键生成商品图和营销文案的服务,显著提升内容创作效率和营销效果。适用于淘宝、天猫等电商平台,让商品第一时间被种草。

Project Cover

吐司

探索Tensor.Art平台的独特AI模型,免费访问各种图像生成与AI训练工具,从Stable Diffusion等基础模型开始,轻松实现创新图像生成。体验前沿的AI技术,推动个人和企业的创新发展。

Project Cover

SubCat字幕猫

SubCat字幕猫APP是一款创新的视频播放器,它将改变您观看视频的方式!SubCat结合了先进的人工智能技术,为您提供即时视频字幕翻译,无论是本地视频还是网络流媒体,让您轻松享受各种语言的内容。

Project Cover

美间AI

美间AI创意设计平台,利用前沿AI技术,为设计师和营销人员提供一站式设计解决方案。从智能海报到3D效果图,再到文案生成,美间让创意设计更简单、更高效。

Project Cover

AIWritePaper论文写作

AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。

投诉举报邮箱: service@vectorlightyear.com
@2024 懂AI·鲁ICP备2024100362号-6·鲁公网安备37021002001498号