Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
- ai-native
- description-logics
- knowledge-graph
- mcp
Repository Index
79,841 visible repositories in the index
1–6 of 6 · Most stars
Apache Mahout - an environment for quickly creating scalable, performant machine learning applications.
- apache-mahout
- cuda
- python
- rust
Creusot helps you prove your Rust code is correct.
- rust-lang
- verification
- proof
- formal-verification
Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic and scalable private network experiments using your laptop, desktop, or server running Linux.
- emulation
- simulation
- networking
- experimentation
A high-performance engine for matrix 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
A handy calculator, based on Rust and WebAssembly.
- webassembly
- calculator
- math
- rust