LEMMA: Logical Engine for Multi-domain Mathematical Analysis
☆27Feb 14, 2026Updated 7 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:
- A Dockerfile for building the TLA+ tools☆13Dec 30, 2018Updated 7 years ago
- to schedule jobs per node in kubernetes cluster☆11Jul 10, 2026Updated 3 months ago
- Low-level Rust support for STM32 microcontrollers☆10Aug 25, 2015Updated 11 years ago
- ☆14Apr 6, 2015Updated 11 years ago
- Pure Rust library for Apache Mesos >= 0.28.1 (very much WIP).☆13Apr 24, 2016Updated 10 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.
- AI-powered Knowledge Base UI Kit built on Memvid - the video-based memory format for AI.☆23Jan 5, 2026Updated 9 months ago
- ☆12May 15, 2019Updated 7 years ago
- Identify which embedding model produced a vector using digit-level tokenization and a tiny transformer☆23Mar 7, 2026Updated 7 months ago
- High-performance, declarative stream processor for delimited text data.☆21Mar 13, 2026Updated 6 months ago
- A toy kernel in rust☆15Dec 18, 2016Updated 9 years ago
- A simple load test facade for Java.☆15Jan 26, 2026Updated 8 months ago
- A Rust USB library which works on both native and WASM targets☆28Dec 5, 2025Updated 10 months ago
- Rust library to provide validations for arbitrary types.☆20May 22, 2016Updated 10 years ago
- Convenient chaining APIs for free☆30Nov 27, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆18Mar 16, 2010Updated 16 years ago
- 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
- Production-grade Go backend using Gin, GORM, Redis, and Swagger with clean architecture and fintech-ready infrastructure.☆18Jan 14, 2026Updated 8 months ago
- ☆22Jan 2, 2022Updated 4 years ago
- Declarative CLI to create and configure WSL instances from a single YAML config☆17Sep 22, 2026Updated 2 weeks ago
- A simple 3D files viewer on console☆28Aug 15, 2025Updated last year
- Neovim init but in Rust☆11Feb 16, 2024Updated 2 years ago
- A tasty fruit with seeds; Nvim plugin to create custom menus.☆10May 17, 2025Updated last year
- Edit a part of a file individually☆15Jan 16, 2026Updated 8 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.
- Use AI to instantly summarize websites' terms of service and highlight any concerning elements☆17Apr 5, 2025Updated last year
- Open-source password manager and TOTP vault for browsers and the web☆21Updated this week
- 📦 🚀 a smooth-talking smuggler of Rust HTTP functions into AWS lambda☆71Dec 1, 2018Updated 7 years ago
- Low-level Rust library for implementing terminal command line interface, like in embedded systems.☆59Dec 8, 2020Updated 5 years ago
- Non-interactive hunk distribution in jj CLI☆57Sep 17, 2026Updated 3 weeks ago
- Portable LLM - A rust library for LLM inference☆11Apr 13, 2024Updated 2 years ago
- ☆36Sep 29, 2026Updated last week
- Simple and Ideal Circuit Simulation☆13Dec 4, 2017Updated 8 years ago
- Neovim plugin providing extended functionality for quickfix.☆13Nov 1, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Terminal UI dashboard for BullMQ☆18Aug 30, 2026Updated last month
- A local-first, AI-powered CLI personal assistant for tracking goals, reflections, and context☆16Jan 9, 2026Updated 9 months ago
- An advanced study tool that transforms raw audio recordings and PDF slides into structured, professional LaTeX university notes. Powered …☆19May 25, 2026Updated 4 months ago
- Experimental backend for collaborative code editors following a client server architecture. 🚧☆14Feb 23, 2022Updated 4 years ago
- Minimal tmux popup/tabs radar for Codex, Amp, Claude Code, OpenCode, Pi, Antigravity, Kiro, Copilot, Auggie and Grok.☆17Aug 8, 2026Updated 2 months ago
- neovim undotree written in lua☆12Mar 28, 2022Updated 4 years ago
- Pure Rust Node.js Single Executable Application (SEA) builder☆17Mar 14, 2026Updated 6 months ago