An IR lifting backend for Luau: for emitting semantically accurate readable Luau
☆34Oct 23, 2026Updated this week
Alternatives and similar repositories for semantic-lifter
Users that are interested in semantic-lifter are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Serve an open model with vLLM and a Streamlit chat UI. An Azure VM runs the Kubernetes control plane, and a JarvisLabs GPU VM runs the mo…☆28Oct 2, 2026Updated 3 weeks ago
- A self-hosted file sharing service, focused on privacy and ease of use.☆29Updated this week
- Full-featured Golang SDK for BingX cryptocurrency exchange API. Supports USDT-M & Coin-M perpetual futures, spot trading, market data, We…☆61Oct 7, 2026Updated 2 weeks ago
- Notes, Diagrams, Chat, Files, Projects, Calendar. One private workspace, everything talks back. Plus an agent harness on top of it design…☆32Oct 17, 2026Updated last week
- Connect an AI agent to Verified Handles: setup for each client, the MCP Registry listing, a Claude Desktop extension.☆31Oct 16, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A Yakuza Dead Souls recompilation effort☆44Oct 16, 2026Updated last week
- Orchestrate multiple coding CLIs (Claude Code/Codex/Gemini) from one interface. Exposes MCP server for tool integration. Run agents loc…☆24May 12, 2026Updated 5 months ago
- Anima: a Claude Code skill that turns a biology idea into an interactive, sourced, isometric figure. Dopamine receptors, stimulants, addi…☆230Oct 16, 2026Updated last week
- Brightspace D2L MCP server for Claude, ChatGPT, Cursor and Copilot. Knows what you already handed in, so it only tells you what is actual…☆31Oct 13, 2026Updated last week
- Neurwerk Kubernetes platform charts, release contracts, namespaces, defaults, and validation.☆76Updated this week
- AnswerGit is a platform that allows you to analyze Git repositories and ask AI questions about the code. It uses AI to provide detailed e…☆23Updated this week
- Claude Code-style plan mode for Hermes Agent: enforced read-only planning, then approval through Hermes' own approval prompt on every int…☆91Updated this week
- Thermodynamic analysis for open quantum systems. Define a cycle as a sequence of strokes; get heat, work, entropy production, COP, and tr…☆28Sep 26, 2026Updated 3 weeks ago
- AI Agents & MCPs & AI Workflow Automation • (~400 MCP servers for AI agents) • AI Automation / AI Agent with MCPs • AI Workflows & AI Age…☆23Jul 14, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Delta MCP is a free app that sits between your AI apps and their MCP servers: any server, every tool. It checks each task before it runs,…☆75Oct 14, 2026Updated last week
- Self-service Kubernetes portal: logs, metrics, restarts, secrets and Helm, scoped by role☆70Updated this week
- YouTube MCP server: get YouTube video transcripts, search YouTube, browse channels and playlists from Claude, ChatGPT, Cursor and VS Code…☆27Updated this week
- ☆147Updated this week
- LabTether☆234Updated this week
- Self-hosted fleet management dashboard for AI and compute machines. Monitor GPU health, control services, open terminals — one dark-mode …☆24Updated this week
- A community-supported supercharged document management system: scan, index and archive all your documents☆35Oct 1, 2026Updated 3 weeks ago
- A local-first code review harness☆53Oct 1, 2026Updated 3 weeks ago
- Knolo turns documents into a verifiable Knowledge Image (.knolo): one portable file you can mount, query, and prove. Deterministic retrie…☆50Oct 16, 2026Updated last week
- 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.
- Typescript/Javascript: Codeanalyzer Backend☆57Oct 12, 2026Updated last week
- Official Fish Audio plugin for Hermes Agent: expressive text-to-speech, speech-to-text, voice library, cloning and voice design.☆110Updated this week
- A curated catalog of Model Context Protocol servers for French data, laws, and services.☆55Sep 8, 2026Updated last month
- Python Static Analysis Backend for CLDK☆84Oct 15, 2026Updated last week
- Open-source legal AI for contract analysis, legal research, and litigation☆328Oct 3, 2026Updated 2 weeks ago
- Parses a declarative filter object with $op(value) strings into a typed, database-agnostic filter AST. Zero dependencies, ~50 ns per call…☆65Oct 10, 2026Updated 2 weeks ago
- MixMusic: Spotify and YouTube Music in one player. Open-source desktop music player for macOS, Windows & Linux: one search, one queue, mi…☆96Updated this week
- Django - Next.js monorepo to scratch my own itch of building a hacker rank style platform for my personal use at first☆108Updated this week
- Local and cloud GPU interference model orchestrator exposing OpenAI-compatible API from different engines☆27Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆144Updated this week
- A typed, self-hosted data layer for structured personal data, built to make that data usable anywhere.☆109Updated this week
- Fast, friendly CLI and TUI for Apache Kafka: inspect clusters, move messages, watch lag, and fix things from one binary.☆95Oct 12, 2026Updated last week
- Subnet 22☆334Updated this week
- Open-source physical observability for robotics workcells: deterministic replay, verifiable incident evidence, and generated regression t…☆79Sep 30, 2026Updated 3 weeks ago
- Mutant is an open-source, garbage-collected programming language that tries to enable security by default.☆524Updated this week
- Go client for OKX v5 API. 335 REST endpoints, 53 WebSocket channels. Type-safe models with generics, context support, auto-reconnect, dem…☆38Oct 15, 2026Updated last week