LEMMA: Logical Engine for Multi-domain Mathematical Analysis
☆27Feb 14, 2026Updated 8 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:
- KV cache middleware for 1M context on 12GB VRAM. Uses K vectors as a retrieval index to fetch V on-demand from system RAM. No model modif…☆11Apr 23, 2026Updated 6 months ago
- to schedule jobs per node in kubernetes cluster☆11Jul 10, 2026Updated 3 months ago
- Pure Rust library for Apache Mesos >= 0.28.1 (very much WIP).☆13Apr 24, 2016Updated 10 years ago
- A simple load test facade for Java.☆15Jan 26, 2026Updated 9 months ago
- High-performance, declarative stream processor for delimited text data.☆21Mar 13, 2026Updated 7 months ago
- 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.
- tikv-importer is a front-end to help ingesting large number of KV pairs into a TiKV cluster☆20Sep 14, 2026Updated last month
- Classical Rainbow Triangle using Rust and Vulkan via vulkano bindings☆20Apr 23, 2021Updated 5 years ago
- A toy kernel in rust☆15Dec 18, 2016Updated 9 years ago
- Contains documentation on suggested API design and best practices.☆14Mar 16, 2017Updated 9 years ago
- Wrapper script to generate & pass AWS AssumeRole keys to other scripts☆20Apr 20, 2017Updated 9 years ago
- A powerful Chrome extension to bypass common anti-debugging scripts and DevTools traps.☆15Sep 13, 2026Updated last month
- ☆22Jan 2, 2022Updated 4 years ago
- Nanochat in MLX☆12Mar 6, 2026Updated 7 months ago
- Production-grade Go backend using Gin, GORM, Redis, and Swagger with clean architecture and fintech-ready infrastructure.☆18Jan 14, 2026Updated 9 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Lumoa Booktest for review driven quality assurance☆14Apr 28, 2026Updated 6 months ago
- Declarative CLI to create and configure WSL instances from a single YAML config☆17Sep 22, 2026Updated last month
- A Dart implementation of the "Quite OK Image Format", with a command line interface for console use and a library for use in applications…☆10Apr 1, 2023Updated 3 years ago
- A simple 3D files viewer on console☆28Aug 15, 2025Updated last year
- Lua bindings to the QOI library☆13Dec 20, 2021Updated 4 years ago
- Neovim init but in Rust☆11Feb 16, 2024Updated 2 years ago
- A tiny but powerful personal AI assistant 🐙☆13Mar 14, 2026Updated 7 months ago
- PLS: PHP Language Server - AI-native LSP with a blazing-fast bundled parser. Made by AI agents, for AI agents (and humans too!)☆13Feb 3, 2026Updated 8 months ago
- openapi of all third-party☆10Updated 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.
- 📦 🚀 a smooth-talking smuggler of Rust HTTP functions into AWS lambda☆71Dec 1, 2018Updated 7 years ago
- Bones for your agents — composable async agentic AI framework for Rust☆12Jun 1, 2026Updated 5 months ago
- AI Code Detector based on commit patterns☆13Jan 10, 2026Updated 9 months ago
- Bridge build/dev process output to AI coding sessions via MCP — supports Claude Code, Codex, OpenCode, Gemini CLI, and aider☆13Feb 11, 2026Updated 8 months ago
- An autonomous AI coding agent loop with a terminal admin dashboard.☆13Sep 29, 2026Updated last month
- Ask shortgpt for instant and concise answers☆13May 7, 2023Updated 3 years ago
- Create a polished GitHub portfolio site in under 30 seconds — just fork, rename to {username}.github.io, and auto-deploy with GitHub Acti…☆12Apr 21, 2026Updated 6 months ago
- Efficient Knowledge Injection in LLMs via Self-Distillation (TMLR)☆12Aug 5, 2025Updated last year
- You've been pinched. Now get unpinched. Find out if PinchTab is running on your host before someone else does.☆13Apr 22, 2026Updated 6 months 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.
- 🧪 Turn Markdown docs and runbooks into executable tests☆15Apr 8, 2026Updated 6 months ago
- ไวไว — ส่งไว รับไว ไม่ง้อ TCP | Blazing-fast file transfer over QUIC☆11Mar 7, 2026Updated 7 months ago
- giving destructive commands a second opinion☆20Jul 31, 2026Updated 3 months ago
- Portable LLM - A rust library for LLM inference☆11Apr 13, 2024Updated 2 years ago
- Edit a part of a file individually☆15Jan 16, 2026Updated 9 months ago
- ☆13Updated this week
- PyTorch implementation of Project To Adapt (ACCV20 - Oral - Best Student Paper Award & IJCV 2022)☆10Jan 30, 2023Updated 3 years ago