oblíbený CI/CD Catalog (unpublished)

Project information

What is Oblíbený? Oblíbený (Czech: "beloved" or "favorite") is a programming language that fundamentally rethinks how we write, verify, and deploy software. It combines:

🔐 Security by Design: deployment-time code is provably terminating and resource-bounded ✅ Distributed Verification: crowd-sourced formal verification of language properties 📐 Formally Verified: property-based testing and formal methods

programming ... reversibility obfuscation secure

37 Commits
1 Branch
0 Tags
1 Environment

README
LICENSE
CHANGELOG
CONTRIBUTING

Created on

August 22, 2025

Loading