LEMMA: Logical Engine for Multi-domain Mathematical Analysis
☆27Feb 14, 2026Updated last week
Alternatives and similar repositories for LEMMA
Users that are interested in LEMMA are comparing it to the libraries listed below
Sorting:
- sora2 api☆291Updated this week
- Production-grade Go backend using Gin, GORM, Redis, and Swagger with clean architecture and fintech-ready infrastructure.☆18Jan 14, 2026Updated last month
- ☆19Nov 7, 2025Updated 3 months ago
- Cemil, Yapay Zeka ve Teknoloji Akademisi süreçlerini kolaylaştırmak ve otomatikleştirmek amacıyla geliştirilmiş bir Slack botudur. Akadem…☆34Feb 5, 2026Updated 2 weeks ago
- 這是一個專為影片字幕處理設計的 AI Agent Skills 集合，提供從音訊轉字幕、優化字幕、設計字卡到生成社群媒體摘要的完整工作流程。☆87Jan 28, 2026Updated 3 weeks ago
- coevolve R package for Bayesian generalized dynamic phylogenetic models using Stan☆11Updated this week
- 🤖 Kubernetes for AI Agents. Self-hosted, production-grade runtime for orchestrating LLM swarms and autonomous agents. TypeScript-native.☆29Updated this week
- Rust MCP framework for building AI agents☆22Dec 28, 2025Updated last month
- A complete LangGraph multi-agent system demo using SQL tools, Tavily search, MCP Toolbox, and OpenRouter models — with reproducible noteb…☆21Dec 4, 2025Updated 2 months ago
- ☆13Jan 14, 2026Updated last month
- The largest open corpus of .docx files for document processing research☆45Jan 22, 2026Updated last month
- Dynamically Generate Quarto Syntax☆25Jul 7, 2025Updated 7 months ago
- PostgreSQL linter and formatter for schema migrations and design best practices.☆15Updated this week
- AI-powered schematic review and chat assistant for EasyEDA Pro☆33Updated this week
- Official repository for the paper Local Linear Attention: An Optimal Interpolation of Linear and Softmax Attention For Test-Time Regressi…☆23Oct 1, 2025Updated 4 months ago
- The code for the paper "A Bayesian Approach to Online Planning" published in ICML 2024.☆13Jun 17, 2024Updated last year
- MLX Implementation of Recursive Reasoning with Tiny Networks☆78Oct 11, 2025Updated 4 months ago
- A modern, extensible framework for defining and enforcing security policies across your digital infrastructure.☆39Feb 16, 2026Updated last week
- Materials for rstudio::conf☆11Jan 31, 2020Updated 6 years ago
- ARM templates for deploying resources for Connected Field Service☆14Aug 26, 2025Updated 5 months ago
- 📕 Writing tests, the DataMade way☆16Sep 24, 2020Updated 5 years ago
- Web Audio API Adio Mastering Tools☆70Feb 12, 2026Updated last week
- Self-hostable maps stack, powered by OpenStreetMap.☆11May 27, 2023Updated 2 years ago
- Nix build Scheduler☆11Nov 24, 2025Updated 3 months ago
- An open-source AI agent for infrastructure debugging.☆24Updated this week
- Simple and Ideal Circuit Simulation☆13Dec 4, 2017Updated 8 years ago
- FTL is a fast WebRTC based server for Deno.☆15Jun 22, 2023Updated 2 years ago
- Templates for working with CUDA in Nix☆18Nov 1, 2025Updated 3 months ago
- Self-adaptive, blockchain-secured clusters autonomously synchronize and self-heal, ensuring seamless data integrity across a scalable tra…☆25Feb 7, 2026Updated 2 weeks ago
- ☆14Mar 21, 2022Updated 3 years ago
- Convert Gnucash files to ledger file format☆12May 3, 2024Updated last year
- A Dockerfile for building the TLA+ tools☆13Dec 30, 2018Updated 7 years ago
- Metabase package for YunoHost☆12May 25, 2025Updated 9 months ago
- ☆11Apr 19, 2019Updated 6 years ago
- StickerSelector 是一个基于语义向量匹配的表情包选择系统，用于让 AI 在聊天中发送真正符合语境的表情包。 与传统依赖关键词或规则的方案不同，StickerSelector 会将 AI 生成的“表情包意图描述”与本地表情包进行语义匹配，从而选出在当前语境下最…☆22Jan 3, 2026Updated last month
- Autonomous ML agent for running experiments using Claude or Codex.☆26Feb 18, 2026Updated last week
- ☆11Oct 8, 2021Updated 4 years ago
- 基于 GitHub Actions 的再漫画 (zaimanhua.com) 自动签到工具 | Auto check-in tool for zaimanhua.com☆28Feb 15, 2026Updated last week
- MiniLM (BERT) embeddings from scratch☆18Aug 14, 2025Updated 6 months ago