the champagne of beta embedded databases
- incredibly-spicy
- database
- embedded-kv
- concurrent
Repository Index
78,351 visible repositories in the index
1–6 of 6 · Most stars
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
- ai-native
- description-logics
- knowledge-graph
- mcp
Creusot helps you prove your Rust code is correct.
- rust-lang
- verification
- proof
- formal-verification
A static verifier for Rust, based on the Viper verification infrastructure.
- rust
- verification
- viper
- formal-verification
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436