Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Repository Index
71,372 visible repositories in the index
1–3 of 3 · Most stars
An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
- teaching
- computer-science
- compiler
- emulator
A high-performance engine for engineering math, physics simulation, and MCAD and ECAD as code. RunMat checks types, sizes and units before anything runs, executes on CPU and GPU, and runs existing MATLAB-language code as written.
- matlab
- rust
- jit-compiler
- linear-algebra