core

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

core

Owner
Statistic
  • 2
  • 0
  • 0
  • 0
  • 0
  • 21 days ago
  • April 23, 2026
License

GNU General Public License v3.0

Links
Synced at

Sun, 07 Jun 2026 12:35:05 GMT

Languages
Crystal 52.31% Python 41.88% Lua 2.58% Vim Script 1.27% C 1.01% Assembly 0.53% Shell 0.42%