Index /Databases & Storage / ora

ora

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

Declared floor 0.15Databases & StorageScore 49.7oralang/ora ↗

Stars

forks 1

Last push

today

2026-11-04

Dependents

references among indexed projects

Declared deps

build.zig.zon present

Zig version check

Zig version	Verdict	Basis
0.13	Needs Zig ≥ 0.15	This library needs Zig ≥ 0.15.0
0.14	Needs Zig ≥ 0.15	This library needs Zig ≥ 0.15.0
0.15	Declared floor 0.15	minimum_zig_version = 0.15.0 in build.zig.zon, at or below this version
0.16	Declared floor 0.15	minimum_zig_version = 0.15.0 in build.zig.zon, at or below this version
0.17 (current stable)	Declared floor 0.15	minimum_zig_version = 0.15.0 in build.zig.zon, at or below this version
0.18-dev / master	Declared floor 0.15	minimum_zig_version = 0.15.0 in build.zig.zon, at or below this version

Adding it as a dependency

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

The command above packs a branch and is not pinned to a tag. In production, switch to refs/tags/<tag>.tar.gz and keep the hash that zig fetch --save writes for you.

Index record

Canonical key: oralang/ora
License: GPL-3.0
Created: 2025-07-10
Open issues: 4
Package / version: Ora / 0.0.0
Topics: ethereum、evm、formal-verification、language、smart-contracts
Classification basis: topic:ethereum、topic:evm、desc:smart contract · confidence high

Similar projects

tigerbeetle / tigerbeetle/tigerbeetle

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

No version declared

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

Native PostgreSQL driver / client for Zig

No version declared

66.8★ 605latticedb / jeffhajewski/latticedb

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

Declared floor 0.16

61.1★ 745egres / manishrjain/egres

A Postgres Compatible Database for Heavy, Multi-Tenant Workloads

No version declared

59.5★ 254zedis / barddoo/zedis

Opinionated Redis in Zig

Declared floor 0.17

57.7★ 297xitdb / xit-vcs/xitdb

an immutable database for zig

No version declared

55.7★ 159

Data comes from a public API snapshot taken on 2026-11-05. 2451 unique repositories were collected, merged into 2451 projects, of which 1516 clear the listing gate. Star counts are raw per-host values and are not converted across platforms.