Pinned Loading

1. scirs scirs Public

   SciRS2 - Scientific Computing and AI in Rust

   Rust 169 20

2. numrs numrs Public

   NumRS2: High-Performance Numerical Computing in Rust

   Rust 34 6

3. oxirs oxirs Public

   Rust-native, modular platform for Semantic Web, SPARQL 1.2, GraphQL, and AI-augmented reasoning

   Rust 39 5

4. oxiz oxiz Public

   OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental req…

   Rust 42 2

5. oxigdal oxigdal Public

   OxiGDAL is a pure Rust geospatial data abstraction library designed for modern cloud-native workflows.

   Rust 19 2

6. oxilean oxilean Public

   OxiLean is a memory-safe, high-performance Interactive Theorem Prover (ITP) natively integrated into the Rust ecosystem. Inspired by Lean 4, it aims to bring formal verification to the Rust community

   Rust 3