LEMMA: Logical Engine for Multi-domain Mathematical Analysis
☆28Feb 14, 2026Updated last month
Alternatives and similar repositories for LEMMA
Users that are interested in LEMMA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆28Updated this week
- A Dockerfile for building the TLA+ tools☆13Dec 30, 2018Updated 7 years ago
- PKBoost: Adaptive GBDT for Concept Drift, Built from scratch in Rust, PKBoost manages changing data distributions in fraud detection with…☆67Mar 16, 2026Updated 3 weeks ago
- The code for the paper "A Bayesian Approach to Online Planning" published in ICML 2024.☆13Jun 17, 2024Updated last year
- Rust MCP framework for building AI agents☆22Dec 28, 2025Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Low-level Rust support for STM32 microcontrollers☆10Aug 25, 2015Updated 10 years ago
- Official repository for the paper Local Linear Attention: An Optimal Interpolation of Linear and Softmax Attention For Test-Time Regressi…☆23Oct 1, 2025Updated 6 months ago
- A Toolbox Platform for Creating Your Own Tools. Bake Them with Code or AI.☆24Feb 22, 2026Updated last month
- ☆14Apr 6, 2015Updated 11 years ago
- MLX Implementation of Recursive Reasoning with Tiny Networks☆78Oct 11, 2025Updated 5 months ago
- Standalone repo for our Atropos integration with Thinking Machines Tinker API (https://thinkingmachines.ai/tinker/)☆31Mar 22, 2026Updated 2 weeks ago
- Pure Rust library for Apache Mesos >= 0.28.1 (very much WIP).☆13Apr 24, 2016Updated 9 years ago
- Simple and Ideal Circuit Simulation☆13Dec 4, 2017Updated 8 years ago
- ☆13Dec 7, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- PDF extraction that checks its own work. #2 reading order accuracy — zero AI, zero GPU, zero cost.☆50Mar 31, 2026Updated last week
- ☆12May 15, 2019Updated 6 years ago
- Combination of Rapidly-Exporing Random Trees (RRT) and Safe Interval Path Planning (SIPP) for high-DOF planning in dynamic environments,…☆17Mar 13, 2026Updated 3 weeks ago
- a minimalistic rust actor framework☆24Mar 24, 2026Updated 2 weeks ago
- ☆19Nov 7, 2025Updated 5 months ago
- git worktrees that actually work (zero-config dep sync, fleet mode for parallel agents)☆52Mar 27, 2026Updated last week
- ZSH plugin for managing git☆10Nov 13, 2019Updated 6 years ago
- Tool to copy playlists from one YT Music account to another.☆12Dec 2, 2023Updated 2 years ago
- Open-source framework for turning expert knowledge into PII-free synthetic conversational data and production-ready LoRA adapters.☆55Mar 24, 2026Updated 2 weeks ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- AI guardian for manual crypto traders — risk monitoring, strategy validation & emotional trading detection. No trade execution.☆121Mar 14, 2026Updated 3 weeks ago
- ☆17May 13, 2019Updated 6 years ago
- Stop sending naked documents. Firemark watermarks images & PDFs in one command. Optimized to tackle AI watermark removal. Written in Rust…☆93Mar 10, 2026Updated 3 weeks ago
- DPG Campus Tool. Shrink massive PDFs to fit AI upload limits. Sanitize before uploading to reduce risk of exposing sensitive data.☆46Jan 20, 2026Updated 2 months ago
- A simple load test facade for Java.☆12Jan 26, 2026Updated 2 months ago
- REAP expert pruning for MoE LLMs on Apple Silicon via MLX☆53Mar 16, 2026Updated 3 weeks ago
- A toy kernel in rust☆14Dec 18, 2016Updated 9 years ago
- An example configuration of AGENTS.md and a set of skills for AI-assisted game development with the https://defold.com engine.☆46Mar 2, 2026Updated last month
- Rust library to provide validations for arbitrary types.☆20May 22, 2016Updated 9 years ago
- 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.
- Turn MCP servers into composable CLIs.☆43Mar 31, 2026Updated last week
- eco4cast library aims to reduce carbon footprint of machine learning models with predictive cloud computing scheduling☆16Aug 26, 2024Updated last year
- 🤖 Kubernetes for AI Agents. Self-hosted, production-grade runtime for orchestrating LLM swarms and autonomous agents. TypeScript-native.☆32Mar 23, 2026Updated 2 weeks ago
- ☆13Jan 14, 2026Updated 2 months ago
- Context-efficient command runner for coding agents.☆23Mar 9, 2026Updated 3 weeks ago
- Showdown markdown extension for Japanese kanji / furigana support using HTML5 <ruby> tags☆10May 2, 2017Updated 8 years ago
- Contains documentation on suggested API design and best practices.☆14Mar 16, 2017Updated 9 years ago