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
☆23Nov 4, 2026Updated this week
Alternatives and similar repositories for oxilean
Users that are interested in oxilean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OxiFY is a graph-based LLM workflow orchestration platform built in Rust, designed to compose complex AI applications using directed acyc…☆14Sep 16, 2026Updated last month
- CeleRS (Celery + Rust) is a production-ready, Celery-compatible distributed task queue library for Rust. Built from the ground up to prov…☆18Sep 12, 2026Updated last month
- QuantRS2: Rust Quantum Computing Framework☆18Sep 16, 2026Updated last month
- ToRSh (Tensor Operations in Rust with Sharding) is a PyTorch-compatible deep learning framework built entirely in Rust.☆11Sep 12, 2026Updated last month
- ☆15Feb 8, 2026Updated 9 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- OxiONNX is a high-performance ONNX inference engine written in pure Rust. It supports 147 ONNX operators, GPU acceleration via wgpu, SIMD…☆20Sep 14, 2026Updated last month
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆63Oct 8, 2026Updated last month
- A modern binary serialization library for Rust - the successor to bincode.☆20Oct 5, 2026Updated last month
- lodviz-rs is a pure-Rust data visualization library using Leptos and WebAssembly. It excels at automatic Level of Detail (LOD) management…☆13Mar 23, 2026Updated 7 months ago
- OxiArc - The Oxidized Archiver Pure Rust implementation of archive and compression formats with core algorithms implemented from scratch.☆36Oct 5, 2026Updated last month
- rs3gw (Rust S3 Gateway) is an ultra-lightweight, high-throughput object storage gateway designed for AI model training and scientific com…☆26Sep 16, 2026Updated last month
- High-performance, memory-safe Rust implementation of Hugging Face Transformers. TrustformeRS brings the power of transformer models to th…☆15Sep 14, 2026Updated last month
- SplitRS uses AST-based analysis to automatically refactor large Rust source files (>1000 lines) into well-organized, compilable modules.☆24Oct 8, 2026Updated last month
- Mapping intelligence for enterprise data migrations: schema mapping, lineage, and transformation traceability that compounds across every…☆15May 7, 2026Updated 6 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Pure Rust Whisper speech-to-text inference engine. Zero C/C++ dependencies.☆13Aug 13, 2026Updated 2 months ago
- Uniform Discrete Curvelet Transform in Python☆22Oct 24, 2026Updated 2 weeks ago
- OxiHuman is a pure-Rust parametric human body generator that runs entirely client-side — in the browser via WebAssembly/WebGPU or nativel…☆18Sep 12, 2026Updated last month
- OxiGrid is a pure-Rust electrical power systems simulation and optimisation library. It provides production-grade implementations of AC/D…☆17Jul 3, 2026Updated 4 months ago
- A pure Rust implementation of TensorFlow, providing a full-featured machine learning framework with Rust's safety and performance.☆18Sep 12, 2026Updated last month
- A minimal and extensible agent server for building agent applications☆29Updated this week
- DataFrame library for data analysis implemented in Rust. It has features and design inspired by Python's pandas library, combining fast d…☆21Sep 12, 2026Updated last month
- OxiCtl is Pure Rust Real-Time Control Systems Framework. Comprehensive, no_std-compatible control systems framework for embedded robotics…☆15Sep 16, 2026Updated last month
- A simple and extensible state machine implementation in Rust☆10Feb 16, 2026Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Pure Rust LLM Inference Engine — The Sovereign Alternative to llama.cpp License Rust Complete GGUF model loading, multi-format quantize…☆42Aug 17, 2026Updated 2 months ago
- A comprehensive machine learning library in Rust, inspired by scikit-learn's intuitive API and combining it with Rust's performance and s…☆25Sep 14, 2026Updated last month
- A port of Z-Image, implemented in Rust.☆10Dec 22, 2025Updated 10 months ago
- A set of scripts to download and update Waves blockchain history data into a PostgreSQL database.☆16May 25, 2026Updated 5 months ago
- 🎬 Production-ready animation library for Leptos with complete Motion Studio, WebGL acceleration, and Framer Motion-inspired API. Built w…☆13Oct 6, 2025Updated last year
- Geometric mappings and quadrature rules. This is a mirror repository - development happens on https://gitlab.dune-project.org/☆10Updated this week
- Rust toolkit for layered stream multiplexing and schemaless RPC communication.☆37Nov 1, 2026Updated last week
- Cache aware and mem efficient data structures for rust.☆26Updated this week
- A high-performance verifiable storage layer for appchains and L2s.☆13Jan 5, 2026Updated 10 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An AI-powered agent system generating and verifying Lean 4 code, translating natural language problems into formally proven programs usin…☆22May 30, 2025Updated last year
- Fast bounded MPSC and MPMC channels built from one SPSC ring per producer☆35Updated this week
- Fork of LLVM for LTO pass plugins support.☆23Jun 28, 2025Updated last year
- PDELab library (function spaces, operators, solvers…). This is a mirror repository - development happens on https://gitlab.dune-project.o…☆12Oct 3, 2026Updated last month
- Hordes of small AI agents that do real work on your machine — free, private, one download. A local model (Ollama) or your own key; spread…☆66Nov 3, 2026Updated last week
- ☆12May 13, 2020Updated 6 years ago
- Legalis-RS is a Rust framework for parsing, analyzing, and simulating legal statutes. It transforms natural language legal documents into…☆34Oct 8, 2026Updated last month
Are these results useful?