Skip to content
View minikin's full-sized avatar

Block or report minikin

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.

Content in all repositories owned by your account will be closed.
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

Starred repositories

Showing results

XERJ is the new way for AI to search data. Its autoindex capability activates agents to know your data without the token waste of grep and sed. One command indexes code, docs, logs and PDFs for sea…

Rust 2,665 233 Updated Oct 5, 2026

Daemons with DX

Rust 675 47 Updated Oct 5, 2026

high-performance graph database for real-time use cases

Go 21,804 1,608 Updated Oct 5, 2026

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

TypeScript 23,388 729 Updated Oct 5, 2026

Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym [ICML 2025]

Jupyter Notebook 748 46 Updated Jul 29, 2025

[NeurIPS 2025 D&B Spotlight] Scaling Data for SWE-agents

Python 793 134 Updated Oct 5, 2026

Prompts, templates, and scripts for running large-scale language migrations with Claude Code

Python 738 63 Updated Jul 8, 2026

A Swift package for typed decisions from language models (probabilities, choices, and scores), with support for local MLX models and the TypeSafe Jev API.

Swift 14 2 Updated Oct 2, 2026

Premium Queue package for handling distributed jobs and messages in NodeJS.

JavaScript 16,257 1,401 Updated Oct 3, 2026

One AI trade decision every Monad block. Jev on Kuru MON-USDC.

TypeScript 2,825 532 Updated Sep 17, 2026

Agent skills for building with TypeSafe's System One API

2,587 153 Updated Sep 12, 2026

Fastest and cheapest web agent

Python 22,100 1,592 Updated Sep 30, 2026

A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings

JavaScript 24,778 1,460 Updated Sep 14, 2026

Simple, reliable, and efficient distributed task queue in Go

Go 13,747 988 Updated Jun 22, 2026
TypeScript 398 31 Updated Sep 21, 2026

µTask is an automation engine that models and executes business processes declared in yaml. ✏️📋

Go 1,404 104 Updated Jul 29, 2026

cuda-oxide is a Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign language bindings, ju…

Rust 3,659 297 Updated Oct 5, 2026

Secure, fast, efficient, battle-tested at Alibaba's scale. Hybrid architecture code review tool: deterministic pipelines + LLM Agent, precise line-level comments, built-in multi-language ruleset (N…

Go 43,863 3,162 Updated Oct 5, 2026

Lightweight Rust LSP optimized for low memory usage

Rust 689 12 Updated Oct 5, 2026

Memory for agents that checks whether what they remember is still true

Rust 7 Updated Sep 16, 2026

Distributed event stream server over HTTP, backed by S3.

Rust 329 17 Updated Oct 5, 2026

A Queue Abstraction Layer for Rust (Redis, RabbitMQ, SQS, etc.)

Rust 110 15 Updated Sep 30, 2026

Full-featured async (tokio-based) postgres connection pool (like r2d2)

Rust 954 134 Updated Sep 28, 2026

OpenADR 3.0 VTN and VEN implementation in Rust

Rust 103 27 Updated Oct 5, 2026

✨ Making your shell magical

Rust 31,905 990 Updated Oct 5, 2026

Background task processing for rust using apalis and redis

Rust 16 6 Updated Sep 29, 2026

Run Rust lints from dynamic libraries

Rust 680 63 Updated Oct 5, 2026

Rust Best Practices, Patterns, and Code Design for Rust Production Coding (AI ingestible)

Rust 56 2 Updated Sep 17, 2026

A Git-compatible VCS that is both simple and powerful

Rust 31,894 1,238 Updated Oct 5, 2026
TypeScript 4,971 163 Updated Sep 17, 2026
Next