lean4-mlir github.com ↗

A project using Lean 4 to drive PJRT/MLIR for ML workloads.

LibraryAI & MLleanmlirpjrtformal-verification

Recommended in 1 thread

Google open-sources TorchTPU, a native PyTorch back end for TPUs
github.com · 6 days ago
Suggested for formally verified compilation across accelerators.

Pydantic AI AI & ML
Python agent framework with abstractions over LLM providers.
1 thread
clojure-mcp AI & ML
MCP tooling that lets LLM agents edit Clojure code and interact with a REPL.
1 thread
llama.cpp AI & ML
A C/C++ engine for running LLMs locally.
4 threads
Liquid AI Decision Models ↗AI & ML
Models from Liquid AI trained specifically to produce decisions with calibrated confidence.
1 thread
scikit-learn ↗AI & ML
A Python machine learning library including probability calibration tools.
1 thread
OpenRouter ↗AI & ML
A marketplace that routes API requests to many LLM inference providers.
7 threads
LLM UI Smells ↗AI & ML
A gist listing telltale markers of LLM-generated writing and UI.
1 thread
Lacuna Research MCP ↗AI & ML
An MCP server that lets Claude or Codex search the Lacuna corpus of generated research proposals.
1 thread

OpenRouter ↗
A marketplace that routes API requests to many LLM inference providers.
7 threads
GLM ↗
An open-weights large language model family from Zhipu AI.
5 threads
llama.cpp
A C/C++ engine for running LLMs locally.
4 threads
GoModel ↗
LLM gateway written in Go, offered as a LiteLLM alternative.
3 threads
DeepSeek
A family of large language models offered via a low-cost API.
2 threads
OpenCode Go ↗
A subscription plan for accessing models through the OpenCode coding tool.
2 threads
Cerebras ↗
A hosted fast inference service offering Qwen models.
1 thread
Claude
Anthropic's AI model and command-line assistant.
1 thread
Claude Code gateways ↗
Documented setup for routing Claude Code through an LLM gateway for centralized control and alternate model providers.
1 thread
Cloudflare Workers AI ↗
Cloudflare's serverless platform for running hosted AI models.
1 thread
CodeCarbon ↗
An open-source Python library for estimating the carbon emissions of compute workloads.
1 thread
Codex
OpenAI's coding agent.
1 thread

Link from a commenter, not checked or endorsed by us: ↗ https://github.com/brettkoonce/lean4-mlir