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.
☆43Jul 20, 2026Updated this week
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 modern binary serialization library for Rust - the successor to bincode.☆15Updated this week
- Impossibility theorems for self-seeding analytic Sheffer operators, responding to Odrzywolek (2026)☆18Apr 16, 2026Updated 3 months ago
- OxiONNX is a high-performance ONNX inference engine written in pure Rust. It supports 147 ONNX operators, GPU acceleration via wgpu, SIMD…☆17Updated this week
- MA4N1 Theorem Proving with Lean☆17Nov 24, 2025Updated 7 months ago
- DataFrame library for data analysis implemented in Rust. It has features and design inspired by Python's pandas library, combining fast d…☆17Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆12Jan 24, 2023Updated 3 years ago
- Rust-native, modular platform for Semantic Web, SPARQL 1.2, GraphQL, and AI-augmented reasoning☆74Updated this week
- rs3gw (Rust S3 Gateway) is an ultra-lightweight, high-throughput object storage gateway designed for AI model training and scientific com…☆23Updated this week
- Unofficial dribbble client in flutter. Runs in both android and iOS.☆13Mar 13, 2018Updated 8 years ago
- A pushdown automaton low memory JSON bytes stream checker☆13Dec 24, 2021Updated 4 years ago
- A blazing-fast Rust rule engine with RETE algorithm, backward chaining inference, and GRL (Grule Rule Language) syntax. Features: forward…☆53Updated this week
- Unified physics engine written in Rust, aiming to replace Bullet, OpenFOAM, LAMMPS, and CalculiX.☆21Updated this week
- Cache any function call's to Deta base.☆13Oct 9, 2022Updated 3 years ago
- All in Serverless. 微信云托管☆16Jul 13, 2023Updated 3 years 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.
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆23Mar 29, 2026Updated 3 months ago
- Legalis-RS is a Rust framework for parsing, analyzing, and simulating legal statutes. It transforms natural language legal documents into…☆26Updated this week
- A collection of tools to make integrating Axum with the browser easier☆14Sep 9, 2023Updated 2 years ago
- An artificial life experiment.☆12Jul 30, 2020Updated 5 years ago
- Pure Rust LLM Inference Engine — The Sovereign Alternative to llama.cpp License Rust Complete GGUF model loading, multi-format quantize…☆24Updated this week
- plibsys rust bindgen binding☆12Jun 24, 2016Updated 10 years ago
- Minimal Rust wrapper for using sockets as IPC with file descriptor passing | now on https://codeberg.org/valpackett/tiny-nix-ipc☆15Oct 1, 2022Updated 3 years ago
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆49Updated this week
- Blob aspires to be a new kind of software, one that is alive. It is a tool that utilizes large language models technology to enable the d…☆21Nov 12, 2024Updated last year
- 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.
- Local agent for storing secrets☆11Aug 16, 2024Updated last year
- AI communication from the terminal☆14Aug 11, 2024Updated last year
- ☆18Sep 27, 2022Updated 3 years ago
- AI-assisted development MCP providing long-term, on-device "AI memory" for IDEs. Powered by Kuzu GraphDB and exposed via MCP server☆15Jun 21, 2026Updated last month
- Lean 4 formalization of arXiv:2603.21852 — All elementary functions from a single binary operator eml(x,y) = exp(x) - ln(y)☆31May 13, 2026Updated 2 months ago
- UserScript that adds prompt commands to ChatGPT☆14May 18, 2023Updated 3 years ago
- A basic analyser for github repos that allows you to question the whole repo.☆17Mar 31, 2026Updated 3 months ago
- Playing with Linux processes termination in Rust☆16Sep 7, 2022Updated 3 years ago
- Substring searching in rust☆16May 1, 2016Updated 10 years 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.
- Build and sign(multi-sign) transactions for Waves blockchain.☆30Jun 8, 2026Updated last month
- A pure Rust library for simulating spin dynamics, spin current generation, and conversion phenomena in magnetic and topological materials…☆29Updated this week
- Personal opinions of Standards and Policies☆14Aug 22, 2021Updated 4 years ago
- Store a better zsh history and search via interactive grep☆17Aug 25, 2020Updated 5 years ago
- An Emacs major mode for SATySFi☆18Aug 10, 2024Updated last year
- ☆18Jul 23, 2019Updated 6 years ago
- OxiFFT is a 99% Rust port of FFTW3, the world's most respected FFT library. It brings FFTW's sophisticated algorithms, planning system, a…☆42Jul 14, 2026Updated last week