An interpreter for Rust's mid-level intermediate representation
Repository Index
77,852 visible repositories in the index
1–8 of 8 · Most stars
A static, type inferred and embeddable language written in Rust.
- rust
- repl
- programming-language
- type-inference
Better configuration for less
- nix
- configuration-language
- configuration
- infrastructure
A statically typed programming language for scientific computations with first class support for physical dimensions and units
- calculator
- physics
- programming-language
- statically-typed
A modern Prolog implementation written mostly in Rust.
- rust
- prolog
- prolog-interpreter
- prolog-implementation
WebAssembly (Wasm) Interpreter - An efficient, lightweight, and deterministic WebAssembly interpreter for embedded systems and plug-in runtimes.
- wasm
- interpreter
- webassembly
- runtime
A best-of-breed language with a holistic approach to moving the needle
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