A new markup-based typesetting system that is powerful and easy to learn.
Updated 2024-10-03 20:23:22 +03:00
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Updated 2024-10-02 18:11:25 +03:00
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Updated 2024-10-02 18:11:25 +03:00
️ A friendly language for building type-safe, scalable systems!
Updated 2024-10-02 17:17:16 +03:00