KORE Programming Language
KORE Programming Language
github.com
Build software better, together
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
From the README:
What is KORE?
KORE is a self-hosting programming language that combines the best ideas from multiple paradigms:
| Paradigm | Inspiration | KORE Implementation |
|---|---|---|
| Safety | Rust | Ownership, borrowing, no null, no data races |
| Syntax | Python | Significant whitespace, minimal ceremony |
| Metaprogramming | Lisp | Code as data, hygienic macros, DSL-friendly |
| Compile-Time | Zig | comptime execution, no separate macro language |
| Effects | Koka/Eff | Side effects tracked in the type system |
| Concurrency | Erlang | Actor model with message passing |
| UI/Components | React/JSX | Native JSX syntax, components, hot reloading |
| Targets | Universal | WASM, LLVM native, SPIR-V shaders, Rust transpilation |
Example
kore
// Define a function with effect tracking
fn factorial(n: Int) -> Int with Pure:
match n:
0 => 1
_ => n * factorial(n - 1)
// Actors for concurrency
actor Counter:
var count: Int = 0
on Increment(n: Int):
count = count + n
on GetCount -> Int:
return count
fn main():
let result = factorial(5)
println("5! = " + str(result))