LAYSO AI
AI codingLAYSO AI provides one OpenAI-compatible API key to access 300+ AI models across text, coding, image, video, and audio.
2,796 results · Page 54 of 78
LAYSO AI provides one OpenAI-compatible API key to access 300+ AI models across text, coding, image, video, and audio.
An interactive theorem prover and functional programming language, serving as the core infrastructure for formal AI research and automated theorem proving (e.g., AlphaProof, DeepSeek-Prover).
Learnitive helps students and researchers draft academic writing with AI while grounding answers in a library of 250 million papers. The editor includes plagiarism checks through Copyscape and a Judge0 code sandbox for runnable examples inside lessons. Paid tiers sell prepaid word credits instead o
Browser extension for problem-solving with ChatGPT support for LeetCode and HackerRank.
AI-powered desktop app for instant Leetcode problem solutions during coding interviews.
GPU programming platform for learning, practicing, and competing on GPU programming challenges. Similar to LeetCode but for GPU programming, helping developers master GPU acceleration skills essential for AI model training and inference.
Multi-database access for PostgreSQL, Redshift, CockroachDB, MySQL, RDS MySQL, SQL Server, BigQuery, Oracle and SQLite.
Lians is an open-source "completion guard" tool for AI coding agents, supporting Claude Code, Codex, Cursor, and others. It can recover interrupted agent sessions, reject stale task states, and block "completed" conclusions before a task is truly ready for human review. Its core is binding the results of checks that actually ran to the current Git state, distinguishing "measured evidence" from "agent self-claims"; only the three evidence types measured_local, measured_ci, and human_confirmed can pass the review gate. Lians also offers an optional local control layer, Mission Control (Beta), which lets a mission follow a bounded Codex route and requires a real verifier to pass. The free recovery path requires no account or API Key, data is stored by default in ~/.lians/mcp.db, and it is licensed under Apache 2.0.
No-code platform to create custom ChatGPT chatbots with your own data.
LibSwitch is an AI-powered open-source tool for code conversion between libraries.
CMS managed via natural language: publish content and manage templates, assets, themes, redirects and multi-site forks, with versioning and semantic search.
Index files, code and crawled websites and answer with source citations, using its own local models or an existing Ollama or LM Studio setup.
AI-powered tool for converting SQL to LINQ and generating LINQ queries.
Supercharge Code Reviews and Policy Enforcement
LINUX DO is an open-source technology community for Chinese-speaking users, focused on resource sharing and discussion of cutting-edge technologies such as AI, Web3, and open-source tools. The community was founded by the developer "Qin Shi Huang", and users can find tutorials, code, practical case studies, and free entry points to large model tools (such as ChatGPT, GPT-4, Claude3.5, etc.) on the platform, as well as participate in technical discussions and exchange of experience.
Review-gated sidecar for Markdown workspaces: indexes notes into SQLite and proposes links, domains and memory with evidence, editing files only after review.
Operations toolchain for SQLite, Cloudflare D1 and Turso: inspect, diff, migrate, monitor, back up and repair databases. Read-only by default.
LLDB integration for binary and core file analysis, debugging and disassembly.
LLM Labs helps developers compare language models side-by-side for informed decisions.
The introduction is being prepared. Please check back soon.
Subscription-aware LLM router for Claude Code: routes tasks to providers like OpenAI, Gemini, Groq and Ollama by complexity, subscription usage and cost.
Token usage and cost tracking for OpenAI and Claude APIs with real-time session tracking.
Local LLM API cost tracking for Anthropic, OpenAI, Qwen and DeepSeek: SQLite usage ledger, spend queries, provider comparison and CNY to USD conversion.
Open-source proactive project-memory CLI for AI coding agents, with source-grounded durable knowledge, SQLite/FTS5 retrieval, atomic updates, optional document/code graphs, and MCP/Skill/Hook integration across supported tools.
Command-line tool to share code with AI models like ChatGPT and Claude.
Check whether an LLM model ID is deprecated, retiring or retired, and what to migrate to, across OpenAI, Anthropic, Azure, Bedrock, Google and Cohere.
AI programming assistant for rapid code generation and streamlined development.
Exposes the Figma desktop app's Plugin API on the open file: inline renders, design token reading and one undo step per call, without the cloud API.
Local-first chronological memory: write dated, editable memory banks in a local UI, and Claude recalls them on demand via SQLite FTS5.
Performance testing with Locust.
Simplify secure customer identity management with zero to minimal code.
🎖️ 📇 🏠 🍎 🪟 🐧 - Local Excel-compatible spreadsheet engine based on LogiSheets: deterministic formulas, named blocks, column rules, scenario scans, goal-seek and .xlsx export.
Looties is the marketplace where developers and tech enthusiasts buy and sell conference swag,
Local semantic search across Claude Code conversations with hybrid vector and keyword search, background indexing and per-project selection.
AI-generated profile pictures for developers' prototyping and mockups.
Lovable App is a curated collection of 5000+ small, beautiful apps crafted with vibe coding. Explore lovable products across 10+ categories with intelligent discovery.