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
Sorting:
- AI guardian for manual crypto traders — risk monitoring, strategy validation & emotional trading detection. No trade execution.☆100Updated this week
- ☆32Mar 10, 2026Updated last week
- ☆19Nov 7, 2025Updated 4 months ago
- Production-grade Go backend using Gin, GORM, Redis, and Swagger with clean architecture and fintech-ready infrastructure.☆18Jan 14, 2026Updated 2 months ago
- 🤖 Kubernetes for AI Agents. Self-hosted, production-grade runtime for orchestrating LLM swarms and autonomous agents. TypeScript-native.☆32Mar 9, 2026Updated last week
- coevolve R package for Bayesian generalized dynamic phylogenetic models using Stan☆11Updated this week
- 🦈 2-line install personal AI assistant. 5 engines (Claude, Codex, Gemini, OpenCode, Copilot), 108 skills, zero ban risk.☆60Mar 11, 2026Updated last week
- The code for the paper "A Bayesian Approach to Online Planning" published in ICML 2024.☆13Jun 17, 2024Updated last year
- PostgreSQL linter and formatter for schema migrations and design best practices.☆15Mar 9, 2026Updated last week
- ☆13Jan 14, 2026Updated 2 months ago
- Dynamically Generate Quarto Syntax☆25Jul 7, 2025Updated 8 months ago
- Official repository for the paper Local Linear Attention: An Optimal Interpolation of Linear and Softmax Attention For Test-Time Regressi…☆23Oct 1, 2025Updated 5 months ago
- MLX Implementation of Recursive Reasoning with Tiny Networks☆79Oct 11, 2025Updated 5 months ago
- Rust MCP framework for building AI agents☆22Dec 28, 2025Updated 2 months ago
- The largest open corpus of classified docx documents☆45Updated this week
- Your AI Soul Companion. Self-hosted AI agent across 30+ messaging channels It can not only serve as an emotional companion in daily life …☆41Mar 11, 2026Updated last week
- ☆22Feb 23, 2026Updated 3 weeks ago
- ☆14Apr 6, 2015Updated 10 years ago
- Modify data records using separately defined modification rules☆11Jun 14, 2024Updated last year
- Simple and Ideal Circuit Simulation☆13Dec 4, 2017Updated 8 years ago
- Flexible R Pipelines with Caching☆12Sep 1, 2018Updated 7 years ago
- Materials for rstudio::conf☆11Jan 31, 2020Updated 6 years ago
- 📕 Writing tests, the DataMade way☆16Sep 24, 2020Updated 5 years ago
- ☆11Apr 19, 2019Updated 6 years ago
- Intruder.py - A powerful tool to customize attacks on websites. Has 4 different options of attacks☆12Dec 1, 2020Updated 5 years ago
- A Dockerfile for building the TLA+ tools☆13Dec 30, 2018Updated 7 years ago
- ☆14Mar 21, 2022Updated 3 years ago
- ☆11Oct 8, 2021Updated 4 years ago
- FTL is a fast WebRTC based server for Deno.☆15Jun 22, 2023Updated 2 years ago
- TUS protocol for resumable file uploads via HTTP☆14Feb 16, 2026Updated last month
- Metabase package for YunoHost☆12Mar 3, 2026Updated 2 weeks ago
- Objective Develop a web-based chatbot application where users upload resumes (PDF or image). The system should: 1. Extract resume content…☆21Sep 30, 2025Updated 5 months ago
- StickerSelector 是一个基于语义向量匹配的表情包选择系统，用于让 AI 在聊天中发送真正符合语境的表情包。 与传统依赖关键词或规则的方案不同，StickerSelector 会将 AI 生成的“表情包意图描述”与本地表情包进行语义匹配，从而选出在当前语境下最…☆22Jan 3, 2026Updated 2 months ago
- A modern, extensible framework for defining and enforcing security policies across your digital infrastructure.☆42Mar 10, 2026Updated last week
- 基于 GitHub Actions 的再漫画 (zaimanhua.com) 自动签到工具 | Auto check-in tool for zaimanhua.com☆29Feb 15, 2026Updated last month
- Autonomous ML agent for running experiments using Claude or Codex.☆30Feb 18, 2026Updated 3 weeks ago
- Self-adaptive, blockchain-secured clusters autonomously synchronize and self-heal, ensuring seamless data integrity across a scalable tra…☆23Feb 7, 2026Updated last month
- A Toolbox Platform for Creating Your Own Tools. Bake Them with Code or AI.☆23Feb 22, 2026Updated 3 weeks ago
- Small messaging web app demonstrating chat UI and messaging flow.☆25Updated this week