ZigScout数据更新 2026-11-05 · 非官方社区索引English

榜单 /数据库与存储 / ora

ora

Smart contract language with formal verification. Built with Zig for safety and performance

声明下限 0.15数据库与存储综合分 49.7oralang/ora ↗

星标

29

forks 1

最近推送

今天

2026-11-04

被依赖

0

已收录项目中的引用数

声明依赖

1

有 build.zig.zon

Zig 版本判定

Zig 版本	判定	依据
0.13	需 Zig ≥ 0.15	该库要求 Zig ≥ 0.15.0
0.14	需 Zig ≥ 0.15	该库要求 Zig ≥ 0.15.0
0.15	声明下限 0.15	build.zig.zon 的 minimum_zig_version = 0.15.0，未高于该版本
0.16	声明下限 0.15	build.zig.zon 的 minimum_zig_version = 0.15.0，未高于该版本
0.17（当前稳定）	声明下限 0.15	build.zig.zon 的 minimum_zig_version = 0.15.0，未高于该版本
0.18-dev / master	声明下限 0.15	build.zig.zon 的 minimum_zig_version = 0.15.0，未高于该版本

作为依赖引入

zig fetch --save=Ora https://github.com/oralang/ora/archive/refs/heads/main.tar.gz

上面是按分支打包的引入方式，未锁定 tag；生产环境建议换成 refs/tags/<tag>.tar.gz 并用 zig fetch --save 生成的 hash 固定。

收录信息

canonical 键: oralang/ora
许可: GPL-3.0
创建时间: 2025-07-10
open issues: 4
包名 / 版本: Ora / 0.0.0
topics: ethereum、evm、formal-verification、language、smart-contracts
分类依据: topic:ethereum、topic:evm、desc:smart contract · 置信度 high

同类项目

tigerbeetle / tigerbeetle/tigerbeetle

The financial transactions database designed for mission critical safety and performance.

未声明版本

74.3★ 17.3kpg.zig / karlseguin/pg.zig

Native PostgreSQL driver / client for Zig

未声明版本

66.8★ 605latticedb / jeffhajewski/latticedb

Embedded single-file knowledge graph database with vector search and full-text search for AI/RAG apps

声明下限 0.16

61.1★ 745egres / manishrjain/egres

A Postgres Compatible Database for Heavy, Multi-Tenant Workloads

未声明版本

59.5★ 254zedis / barddoo/zedis

Opinionated Redis in Zig

声明下限 0.17

57.7★ 297xitdb / xit-vcs/xitdb

an immutable database for zig

未声明版本

55.7★ 159

数据来自 2026-11-05 的公开 API 抓取。全站收录 2451 个唯一仓库，归并镜像后 2451 个项目，其中 1516 个通过门槛进入榜单。星标数是各平台原值，未做跨平台合并换算。