algorithmicsuperintelligence / openevolve

Open-source implementation of AlphaEvolve

Osmantic / ODS

ODS V3 Pre-Release: Public testing and refinement ahead of the official V3 launch. Turn your PC, Mac, or Linux box into a private AI server.

cdcseacave / openMVS

open Structure-fom-Motion and Multi-View Stereo reconstruction library

Peterande / D-FINE

D-FINE: Redefine Regression Task of DETRs as Fine-grained Distribution Refinement [ICLR 2025 Spotlight]

jfecher / ante

A safe, easy systems language

fthomas / refined

Refinement types for Scala

ucsd-progsys / liquidhaskell

Liquid Types For Haskell

flux-rs / flux

Refinement Types for Rust

AMReX-Codes / amrex

AMReX: Software Framework for Block Structured AMR

trixi-framework / Trixi.jl

Trixi.jl: Adaptive high-order numerical simulations of conservation laws in Julia

Noelo-Lab / kuna

An agent-first decompiler designed to be refined by other agents. Kuna is written in Rust and was originally ported from Ghidra.

Iltotore / iron

Strong type constraints for Scala

kvuong2711 / fix-anything

[ECCV 2026] FixAnything: 3D-Consistent Rendering Refinement via Video Generative Priors

astropuzzo / ComfyUI-MiniMax-H3-Image-Studio

ComfyUI nodes and tested workflows for MiniMax H3 still-image generation, reference editing, and Qwen detail refinement.

mykeura / minimalist-themes-for-hermes

Eighteen warm, light color themes for Hermes Desktop, with readable UI refinements and a simple installable plugin.

Optim-Agent / dsh-plans

Human-in-the-loop planning preset for DeepSeek Harness (DSH), adapted from prime-plans: researched Markdown plans in ./dsh-plans, reviewer/criticizer subagent refinement, per-workspace language & model settings, goal-driven execution with ponytail + MVP tests.

gaearon / conway-refinement

A proof of Conway's refinement conjecture in Lean

wanshuiyin / ALIGN-Agentic-Loop-Image-GeneratioN

Agentic loop image generation without diffusion or autoregressive image models. Coding agents draw in p5.js, using iterative refinement and adversarial visual review for high-fidelity art and method figures. Skills for Claude Code and Codex.

ThisTakou / Converter-Python-to-Rust

AI-powered desktop app for migrating Python projects to Rust. Supports multiple LLM providers (OpenAI, Anthropic, Ollama), includes 300+ library mappings, automatic dependency detection, compile verification, and iterative code refinement. Built with Tauri 2.0.

NEBULIS-Lab / MimicX

MimicX: Policy-in-the-Loop Supervision Refinement for Video-Driven Humanoid Motion Tracking

zhaozhen2333 / Turbo-Learning

Official implementation of “A Turbo-Inference Strategy for Object Detection and Instance Segmentation” (CVIU 2026). A training-free framework for iterative refinement between object detection and instance segmentation.

trickytricklol / ESBO

Official code for "Beyond Empirical Risk: Achieving Point Cloud Robustness through Margin Refinement and Data Purification" (Expert Systems With Applications, ESWA-D-26-03463). ESBO: entropy-screened data purification + similarity-guided adversarial boundary optimization for robust point cloud classification.

Blakeem / ComfyUI-ContextAnchoredTileRefine

Seamless tiled refinement and upscaling for ComfyUI. The VL nodes step all tiles on one shared latent, conditioned by vision tokens and per-tile captions instead of a prompt, so objects never repeat across tiles. Refine whole images or just a masked region. Any GUIDER model on the base node; Krea 2 on the VL nodes. Tested at 8K+.

DIAG5 / dsh-better-input

BetterInput是一套输入增强套件：语音识别、提示词优化、输入更多文件类型，各类文件转Md，交互体验优化等——把每一种喂给智能体的输入都变得更好。BetterInput is an input-enhancement suite — voice recognition, prompt optimization, more file types, everything-to-Markdown conversion, and UX refinements — making every input you feed an agent better.