A compiled, statically typed programming language
Safety you can read.
Speed you can verify.
Every integer checked, every index checked, no garbage collector, and still faster than C++ in 31 of our 36 published benchmarks, with the losses published too. Every claim links to the line of code and the measurement behind it.
// A tight `for` loop over integers: 500 million rounds.
fn main() {
let total = 0
for i in 0..500_000_000 {
total = (total + i * 7 % 13) % 1_000_000_007
}
print(total)
}11× vs C++
sorting 5 million integers: the buckets sort on every core
34× vs Python
random reads from a 2-million-entry map: one cache miss per lookup
100% checked
every integer operation and list index is checked at these speeds
What kind of language is Kavach?
Compiled
kavach build turns a program into one native executable. No interpreter or virtual machine runs it.
Quick to try, like a script
A file can be a single print line, and kavach run starts it at once while you learn.
Statically typed
Types are checked before anything runs, and worked out for you: you rarely write them.
No garbage collector
Memory is freed the moment nothing uses it, so there are no pauses.
Built with Rust
The compiler and runtime are written in Rust and compile through LLVM. Much of the standard library is written in Kavach itself.
The course teaches one idea per page, from your first program to the GPU. Every example runs, and every claim links to its proof.