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:
- Low-level Rust support for STM32 microcontrollers☆10Aug 25, 2015Updated 11 years ago
- AI-powered Knowledge Base UI Kit built on Memvid - the video-based memory format for AI.☆22Jan 5, 2026Updated 8 months ago
- Identify which embedding model produced a vector using digit-level tokenization and a tiny transformer☆23Mar 7, 2026Updated 6 months ago
- Lithic minimizes risk with typed AI services, cost caps, per-user budgets, and cryptographic provenance on-chain.☆27Apr 7, 2026Updated 5 months ago
- High-performance, declarative stream processor for delimited text data.☆21Mar 13, 2026Updated 6 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.
- A toy kernel in rust☆15Dec 18, 2016Updated 9 years ago
- Rust library to provide validations for arbitrary types.☆20May 22, 2016Updated 10 years ago
- eco4cast library aims to reduce carbon footprint of machine learning models with predictive cloud computing scheduling☆16Aug 26, 2024Updated 2 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
- Convenient chaining APIs for free☆30Nov 27, 2016Updated 9 years ago
- ☆18Mar 16, 2010Updated 16 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
- 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.
- Rust MCP framework for building AI agents☆24Dec 28, 2025Updated 8 months ago
- A simple 3D files viewer on console☆28Aug 15, 2025Updated last year
- ☆23Apr 17, 2026Updated 5 months ago
- 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
- Open dataset and framework for visual place recognition and localization☆17Mar 14, 2022Updated 4 years ago
- Low-level Rust library for implementing terminal command line interface, like in embedded systems.☆58Dec 8, 2020Updated 5 years ago
- This repository contains a deep learning-based approach for improving A* search efficiency on grid graphs. By learning instance-dependent…☆23Aug 27, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- openapi of all third-party☆10Updated this week
- GOLF: Gradual Optimization Learning for Conformational Energy Minimization☆19Aug 16, 2024Updated 2 years ago
- Portable LLM - A rust library for LLM inference☆11Apr 13, 2024Updated 2 years ago
- ☆37Updated this week
- Lua bindings to the QOI library☆13Dec 20, 2021Updated 4 years ago
- Simple and Ideal Circuit Simulation☆13Dec 4, 2017Updated 8 years ago
- Source code for paper: An Efficient Transfer Learning Framework for Multiagent Reinforcement Learning☆24Sep 2, 2022Updated 4 years ago
- Polyglot execution engine and CLI for vulnerability detection using real code☆21Updated this week
- Neovim plugin providing extended functionality for quickfix.☆13Nov 1, 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.
- An advanced study tool that transforms raw audio recordings and PDF slides into structured, professional LaTeX university notes. Powered …☆18May 25, 2026Updated 3 months ago
- Minimal tmux popup/tabs radar for Codex, Amp, Claude Code, OpenCode, Pi, Antigravity, Kiro, Copilot, Auggie and Grok.☆17Aug 8, 2026Updated last month
- Pure Rust Node.js Single Executable Application (SEA) builder☆17Mar 14, 2026Updated 6 months ago
- Official Implementation for "StyleDomain: Efficient and Lightweight Parameterizations of StyleGAN for One-shot and Few-shot Domain Adapta…☆30Dec 22, 2023Updated 2 years ago
- Agentic Context Engineering - Automatic learning and knowledge accumulation system for Claude Code that extracts key points from conversa…☆15Dec 5, 2025Updated 9 months ago
- This hands-on technical evaluation is designed to assess your expertise in building high-performance, scalable applications using modern …☆16Feb 5, 2026Updated 7 months ago
- 让零基础小白也能一键安装运行 OpenClaw AI 编程助手，无需配置环境、无需命令行 | Tauri + React + Rust☆19Apr 10, 2026Updated 5 months ago