OxiEML - A Pure Rust crate that implements the EML operator eml(x, y) = exp(x) - ln(y) and builds uniform binary trees expressing all elementary functions using only this operator and the constant 1.
☆46Oct 8, 2026Updated last month
Alternatives and similar repositories for oxieml
Users that are interested in oxieml are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A pure Rust implementation of TensorFlow, providing a full-featured machine learning framework with Rust's safety and performance.☆18Updated this week
- A modern binary serialization library for Rust - the successor to bincode.☆20Oct 5, 2026Updated last month
- High-performance, memory-safe Rust implementation of Hugging Face Transformers. TrustformeRS brings the power of transformer models to th…☆15Updated this week
- A comprehensive machine learning library in Rust, inspired by scikit-learn's intuitive API and combining it with Rust's performance and s…☆25Updated this week
- Pure Rust Whisper speech-to-text inference engine. Zero C/C++ dependencies.☆13Aug 13, 2026Updated 2 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- AllegroGraph tutorials☆13Jan 5, 2024Updated 2 years ago
- 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
- ☆11Jun 4, 2026Updated 5 months ago
- TypeDB Behaviour Test Specification☆17Updated this week
- 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
- 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 2 months ago
- A linear solver designed to be easy to use with Rust enums.☆35Apr 11, 2021Updated 5 years ago
- A λ-calculus shell (because I love writing shells).☆12Jan 2, 2020Updated 6 years ago
- Connecting bv_decide to SMTLIB.☆19Oct 19, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🧠 A translator between answer set programs and first-order logic☆17Oct 20, 2026Updated 3 weeks ago
- 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
- A pushdown automaton low memory JSON bytes stream checker☆13Dec 24, 2021Updated 4 years ago
- Notes from my research for forest-lang☆12Feb 28, 2022Updated 4 years ago
- A set of scripts to download and update Waves blockchain history data into a PostgreSQL database.☆16May 25, 2026Updated 5 months ago
- A weekend project to create a Snake game in Go using the Pixel game library.☆13Aug 4, 2017Updated 9 years ago
- Rust-native, modular platform for Semantic Web, SPARQL 1.2, GraphQL, and AI-augmented reasoning☆109Sep 12, 2026Updated 2 months ago
- A minimal terminal music player☆11Feb 19, 2022Updated 4 years ago
- TensorLogic compiles logical rules (predicates, quantifiers, implications) into tensor equations (einsum graphs) with a minimal DSL + IR,…☆57Sep 16, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Theorems for Real Closed Fields☆15Updated this week
- ☆13Jun 5, 2024Updated 2 years ago
- QuantRS2: Rust Quantum Computing Framework☆19Sep 16, 2026Updated last month
- AutoCorrect for Zed☆11Dec 10, 2025Updated 11 months ago
- Flutter plugin to get current location from GPS☆11May 12, 2018Updated 8 years ago
- Typst Simple Icons Package☆22Updated this week
- A terminal based task and TODO management software.☆38Sep 9, 2026Updated 2 months ago
- Crate for reading TPTP files.☆16May 11, 2022Updated 4 years ago
- Propositional logic with exponentials☆23Oct 23, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 3 years ago
- Legalis-RS is a Rust framework for parsing, analyzing, and simulating legal statutes. It transforms natural language legal documents into…☆35Oct 8, 2026Updated last month
- plibsys rust bindgen binding☆12Jun 24, 2016Updated 10 years ago
- AI communication from the terminal☆14Aug 11, 2024Updated 2 years ago
- Simple and Functional Typst Note Template☆18Mar 11, 2026Updated 8 months ago
- Optimizing Tensor Computation Graphs with Equality Saturation and Monte Carlo Tree Search☆15Aug 9, 2024Updated 2 years ago
- Add Web Scenarios support to Zabbix Low Level Discovery feature.☆12May 24, 2025Updated last year
Are these results useful?