LEMMA: Logical Engine for Multi-domain Mathematical Analysis
☆28Feb 14, 2026Updated 2 months ago
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
- to schedule jobs per node in kubernetes cluster☆10Mar 16, 2026Updated last month
- 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…☆69Mar 16, 2026Updated last month
- The code for the paper "A Bayesian Approach to Online Planning" published in ICML 2024.☆13Jun 17, 2024Updated last year
- 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.
- Rust MCP framework for building AI agents☆22Dec 28, 2025Updated 4 months ago
- Low-level Rust support for STM32 microcontrollers☆10Aug 25, 2015Updated 10 years ago
- Official repository Flash Local Linear Attention☆23Updated this week
- A Toolbox Platform for Creating Your Own Tools. Bake Them with Code or AI.☆24Feb 22, 2026Updated 2 months ago
- ☆14Apr 6, 2015Updated 11 years ago
- MLX Implementation of Recursive Reasoning with Tiny Networks☆78Oct 11, 2025Updated 6 months ago
- Pure Rust library for Apache Mesos >= 0.28.1 (very much WIP).☆13Apr 24, 2016Updated 10 years ago
- Simple and Ideal Circuit Simulation☆13Dec 4, 2017Updated 8 years ago
- ☆13Dec 7, 2022Updated 3 years 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.
- Security-hardened openclaw with auth gateway, AES-256 encryption and session management☆55Updated this week
- PDF extraction that checks its own work. #2 reading order accuracy — zero AI, zero GPU, zero cost.☆57Apr 16, 2026Updated last week
- ☆12May 15, 2019Updated 6 years ago
- a minimalistic rust actor framework☆24Mar 24, 2026Updated last month
- ☆19Nov 7, 2025Updated 5 months ago
- Combination of Rapidly-Exporing Random Trees (RRT) and Safe Interval Path Planning (SIPP) for high-DOF planning in dynamic environments,…☆18Mar 13, 2026Updated last month
- 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
- AI guardian for manual crypto traders — risk monitoring, strategy validation & emotional trading detection. No trade execution.☆118Mar 14, 2026Updated last month
- 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.
- The AI cron daemon. Schedule recurring agent sessions via HEARTBEAT.md prompt files.☆27Feb 10, 2026Updated 2 months ago
- Stop sending naked documents. Firemark watermarks images & PDFs in one command. Optimized to tackle AI watermark removal. Written in Rust…☆95Apr 10, 2026Updated 2 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 3 months ago
- A simple load test facade for Java.☆12Jan 26, 2026Updated 3 months ago
- A toy kernel in rust☆14Dec 18, 2016Updated 9 years ago
- A PyTorch implementation of a conditional Denoising Diffusion Probabilistic Model (DDPM) for multi-modal trajectory prediction. This proj…☆37Feb 20, 2026Updated 2 months ago
- Rust library to provide validations for arbitrary types.☆20May 22, 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.☆56Updated this week
- eco4cast library aims to reduce carbon footprint of machine learning models with predictive cloud computing scheduling☆16Aug 26, 2024Updated last year
- 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.
- Context-efficient command runner for coding agents.☆23Mar 9, 2026Updated last month
- Showdown markdown extension for Japanese kanji / furigana support using HTML5 <ruby> tags☆10May 2, 2017Updated 8 years ago
- ☆13Jan 14, 2026Updated 3 months ago
- Contains documentation on suggested API design and best practices.☆14Mar 16, 2017Updated 9 years ago
- Download complete Spotify playlists to high-quality mp3 files with simple python script☆15Sep 1, 2022Updated 3 years ago
- 🔑 Патчер Antigravity для снятия региональных ограничений 🔓☆109Updated this week
- Wrapper script to generate & pass AWS AssumeRole keys to other scripts☆20Apr 20, 2017Updated 9 years ago