core

A programming language with semantic IR as the single source of truth, built-in formal verification, and dataflow concurrency.
Repository

core

Owner
Statistic
  • 1
  • 0
  • 0
  • 0
  • 0
  • about 4 hours ago
  • April 23, 2026
License

GNU General Public License v3.0

Links
Synced at

Sun, 07 Jun 2026 00:29:12 GMT

Languages
Crystal 52.83% Python 45.03% C 1.1% Assembly 0.58% Shell 0.46%