Highlights
- Pro
Block or Report
Block or report mmz-001
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
Self-service finite-state machines for the programmer on the go.
A complement to pgvector for high performance, cost efficient vector search on large workloads.
An open-source & self-hostable Heroku / Netlify / Vercel alternative.
A Blazing Fast AI Gateway. Route to 200+ LLMs with 1 fast & friendly API.
Call all LLM APIs using the OpenAI format. Use Bedrock, Azure, OpenAI, Cohere, Anthropic, Ollama, Sagemaker, HuggingFace, Replicate (100+ LLMs)
Simple, expected, and deterministic best-match sorting of an array in JavaScript
🌌 Fast, dependency-free, full-text and vector search engine with typo tolerance, filters, facets, stemming, and more. Works with any JavaScript runtime, browser, server, service!
Build applications that make decisions (chatbots, agents, simulations, etc...). Monitor, persist, and execute on your own infrastructure.
🦔 PostHog provides open-source product analytics, session recording, feature flagging and A/B testing that you can self-host.
Interactive neural theorem proving in Lean
llama3 implementation one matrix multiplication at a time
A massively parallel, high-level programming language
🔥 Turn entire websites into LLM-ready markdown or structured data. Scrape, crawl and extract with a single API.
SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It solves 12.47% of bugs in the SWE-bench evaluation set and takes just 1 minute to run.
Proof in Lean of Fermat Last Theorem for exponent 3
SUPIR aims at developing Practical Algorithms for Photo-Realistic Image Restoration In the Wild
Optimize React performance and make your React 70% faster in minutes, not months.
A collection of learning resources for curious software engineers