Skip to content
View ma82's full-sized avatar

Organizations

@ipfs @Haskell-ITA @italia @blackmesalab

Block or report ma82

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

The repo is finally unlocked. enjoy the party! The fastest repo in history to surpass 100K stars ⭐. Join Discord: https://discord.gg/5TUQKqFWd Built in Rust using oh-my-codex.

Rust 182,347 107,476 Updated Apr 12, 2026

Backrest is a web UI and orchestrator for restic backup.

Go 5,999 154 Updated Mar 19, 2026
Haskell 8 5 Updated Jan 21, 2026

AI agents running research on single-GPU nanochat training automatically

Python 70,896 10,337 Updated Mar 26, 2026

Hundreds of models & providers. One command to find what runs on your hardware.

Rust 23,038 1,372 Updated Apr 12, 2026

Run a fleet of AI agents on Kubernetes. Administer your cluster agentically

Go 423 51 Updated Apr 12, 2026

The leading, most token-efficient MCP server for GitHub source code exploration via tree-sitter AST parsing

Python 1,551 264 Updated Apr 12, 2026
TypeScript 30 1 Updated Mar 25, 2026

slime is an LLM post-training framework for RL Scaling.

Python 5,252 712 Updated Apr 9, 2026

Kimi Code CLI is your next CLI agent.

Python 7,744 840 Updated Apr 12, 2026

Apache Kafka® compatible broker with S3, PostgreSQL, SQLite, Apache Iceberg and Delta Lake

Rust 1,728 62 Updated Apr 12, 2026

Claude Code. Any Model. The most powerful AI coding agent now speaks every language.

TypeScript 713 97 Updated Apr 11, 2026

Opinionated project initialization for Claude Code. Security-first, spec-driven, AI-native.

Python 575 46 Updated Apr 10, 2026

KafScale delivers Kafka-compatible data streaming on S3. Scale infinitely, stateless brokers and processors.

Go 52 14 Updated Mar 23, 2026

Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors

TypeScript 52,446 2,478 Updated Apr 10, 2026

The best RAG interface yet.

Python 130 12 Updated Feb 6, 2026

A curated list of Model Context Protocol (MCP) servers

3,899 1,109 Updated Apr 6, 2026

Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitti…

C 20,541 5,572 Updated Apr 12, 2026

Idempotent schema management for MySQL, PostgreSQL, SQLite, and SQL Server

Go 3,069 222 Updated Apr 11, 2026

MongoDB-compatible database engine for cloud-native and open-source workloads. Built for scalability, performance, and developer productivity.

C 3,262 219 Updated Apr 9, 2026

An extremely fast Python type checker and language server, written in Rust.

Python 18,270 281 Updated Apr 8, 2026

🤖 Just a command runner

Rust 32,820 756 Updated Apr 11, 2026

Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).

Rust 1,336 81 Updated Apr 12, 2026

A code coverage tool for Rust projects

Rust 2,949 193 Updated Apr 6, 2026

A toolkit with common assertions and mocks that plays nicely with the standard library

Go 25,925 1,701 Updated Apr 8, 2026

Open CC0 sample library.

314 36 Updated Jan 14, 2026

A massively parallel, optimal functional runtime in Rust

Cuda 11,225 436 Updated Nov 21, 2024

A massively parallel, high-level programming language

Rust 19,304 474 Updated Jun 3, 2025

Deep universal probabilistic programming with Python and PyTorch

Python 8,993 1,008 Updated Jul 9, 2025

Resolve production issues, fast. An open source observability platform unifying session replays, logs, metrics, traces and errors powered by ClickHouse and OpenTelemetry.

TypeScript 9,429 390 Updated Apr 11, 2026
Next