Skip to content
View mmz-001's full-sized avatar
✔️
200
✔️
200

Highlights

  • Pro
Block or Report

Block or report mmz-001

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Self-service finite-state machines for the programmer on the go.

Python 559 61 Updated Jul 16, 2024

Input OpenAPI. Output SDKs and Docs.

TypeScript 2,474 121 Updated Jul 20, 2024

Python logging made (stupidly) simple

Python 18,920 680 Updated Jul 20, 2024

A complement to pgvector for high performance, cost efficient vector search on large workloads.

Rust 689 30 Updated Jul 5, 2024

An open-source & self-hostable Heroku / Netlify / Vercel alternative.

PHP 26,954 1,373 Updated Jul 20, 2024

A Blazing Fast AI Gateway. Route to 200+ LLMs with 1 fast & friendly API.

TypeScript 5,323 362 Updated Jul 20, 2024

Call all LLM APIs using the OpenAI format. Use Bedrock, Azure, OpenAI, Cohere, Anthropic, Ollama, Sagemaker, HuggingFace, Replicate (100+ LLMs)

Python 10,617 1,200 Updated Jul 20, 2024

Simple, expected, and deterministic best-match sorting of an array in JavaScript

TypeScript 3,654 125 Updated Mar 22, 2024

🌌 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!

TypeScript 8,314 276 Updated Jul 19, 2024

Harness LLMs with Multi-Agent Programming

Python 2,034 199 Updated Jul 20, 2024

Build applications that make decisions (chatbots, agents, simulations, etc...). Monitor, persist, and execute on your own infrastructure.

Python 760 41 Updated Jul 19, 2024

🦔 PostHog provides open-source product analytics, session recording, feature flagging and A/B testing that you can self-host.

Python 19,656 1,155 Updated Jul 20, 2024

AICI: Prompts as (Wasm) Programs

Rust 1,865 76 Updated Jul 19, 2024
Lean 150 31 Updated Jan 23, 2023

Interactive neural theorem proving in Lean

Lean 113 6 Updated Mar 24, 2022

llama3 implementation one matrix multiplication at a time

Jupyter Notebook 11,317 855 Updated May 23, 2024

A massively parallel, high-level programming language

Rust 16,841 410 Updated Jul 19, 2024

Python scraper based on AI

Python 13,345 1,026 Updated Jul 20, 2024

Lint database schemas

TypeScript 306 12 Updated Jul 17, 2024

🥷 Run AI-agents with an API

TypeScript 4,978 814 Updated Jun 12, 2024

Supabase Postgres Linter

PLpgSQL 68 6 Updated Jul 9, 2024

🔥 Turn entire websites into LLM-ready markdown or structured data. Scrape, crawl and extract with a single API.

TypeScript 8,029 582 Updated Jul 19, 2024

Authentication, simple and clean

TypeScript 8,508 448 Updated Jul 19, 2024

The P programming language.

C# 2,964 173 Updated Jul 20, 2024

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.

Python 12,053 1,206 Updated Jul 20, 2024

Proof in Lean of Fermat Last Theorem for exponent 3

Lean 35 10 Updated Jun 25, 2024

SUPIR aims at developing Practical Algorithms for Photo-Realistic Image Restoration In the Wild. Our new online demo is also released at suppixel.ai.

Python 3,987 352 Updated Jul 20, 2024

Optimize React performance and make your React 70% faster in minutes, not months.

TypeScript 16,002 563 Updated Jul 15, 2024

A collection of learning resources for curious software engineers

Python 45,955 3,666 Updated Jun 17, 2024
Python 7,020 540 Updated Jul 13, 2024
Next