cairn

cairn

cstheorist

PostgreSQL on Tarantool, with TLA+-checked transaction protocols and a Verus-verified core.

distributed-database
View on GitHub
0 Stars
0 Forks
0 Watchers
Rust Language
apache-2.0 License
25 SrcLog Score
Cost to Build
$49.8K
Market Value
$6.0K
How is this calculated?

Growth over time

1 data points  ·  2026-11-11 → 2026-11-11
Stars Forks Watchers
💬

How do you feel about this project?

Ask AI about cairn

Question copied to clipboard

What is the cstheorist/cairn GitHub project? Description: "PostgreSQL on Tarantool, with TLA+-checked transaction protocols and a Verus-verified core.". Written in Rust. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

🏆 Show off this rank

cstheorist/cairn on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

How to clone cairn

Clone via HTTPS

git clone https://github.com/cstheorist/cairn.git

Clone via SSH

[email protected]:cstheorist/cairn.git

Download ZIP

Download main.zip

Found an issue?

Report bugs or request features on the cairn issue tracker:

Open GitHub Issues

Similar to cairn

etcd tidb cockroach foundationdb awesome-bigdata arangodb shardingsphere rqlite citus dynomite awesome-blockchains eventql radon incubator-pegasus paxosstore yugabyte-db catena js elasticell hibari dble degdb JustinDB dbtester blockchain py-swirld Olivia antsdb beaker p2p-project