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 Jan 2, 2024

Input OpenAPI. Output SDKs and Docs.

TypeScript 2,456 119 Updated Jul 8, 2024

Python logging made (stupidly) simple

Python 18,737 682 Updated Jun 23, 2024

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

Rust 615 24 Updated Jul 5, 2024

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

PHP 26,456 1,343 Updated Jul 7, 2024

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

TypeScript 5,214 356 Updated Jul 8, 2024

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

Python 10,322 1,154 Updated Jul 8, 2024

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

TypeScript 3,646 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,287 275 Updated Jul 8, 2024

Harness LLMs with Multi-Agent Programming

Python 1,956 190 Updated Jul 8, 2024

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

Python 735 41 Updated Jul 8, 2024

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

Python 19,452 1,137 Updated Jul 8, 2024

AICI: Prompts as (Wasm) Programs

Rust 1,850 75 Updated Jul 8, 2024
Lean 148 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,029 824 Updated May 23, 2024

A massively parallel, high-level programming language

Rust 16,728 412 Updated Jul 8, 2024

Python scraper based on AI

Python 13,027 993 Updated Jul 5, 2024

Lint database schemas

TypeScript 302 11 Updated Jul 6, 2024

🥷 Run AI-agents with an API

TypeScript 4,949 815 Updated Jun 12, 2024

Supabase Postgres Linter

PLpgSQL 67 6 Updated Jul 8, 2024

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

TypeScript 7,424 542 Updated Jul 8, 2024

Authentication, simple and clean

TypeScript 8,383 447 Updated Jul 6, 2024

The P programming language.

C# 2,959 173 Updated Jul 8, 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 11,899 1,190 Updated Jul 8, 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

Python 3,930 349 Updated Jun 13, 2024

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

TypeScript 15,907 558 Updated Jul 1, 2024

A collection of learning resources for curious software engineers

Python 45,873 3,653 Updated Jun 17, 2024
Python 6,998 541 Updated Jun 14, 2024
Next