A framework-agnostic state management library that keeps your app’s state clean and simple. It uses a fine-grained state model, breaking state into independent, manageable chunks.

TranslatedLink to QQ: two-way connection between the AI companion in DSH and QQ — whatever it says is automatically sent to QQ, and whatever you say in QQ is automatically forwarded into DSH (via OneBot 11 HTTP; both NapCat and SnowLuma work)

jwiegley /coq-haskell

Coq17213

A library for formalizing Haskell types and functions in Coq

lgwrightlab /schematic-figure

JavaScript17217

Skill for AI agents that draws publication-quality scientific schematic figures as vector code

mongoeye /mongoeye

Go1728

Schema and data analyzer for MongoDB written in Go.

mongodb
schema
analysis
nosql

Huy-Quang-Dao /instantTrack

Python1717

Whole-body motion tracking for the Unitree G1 in about 3 minutes on one GPU: return 0.82 with 0/40 clips failed at the first checkpoint for all seeds, >=10.9x faster than SuperMimic + EMA; 3.2 min with fine checkpoints, 2.74 min without LR annealing (world model + Muon + overlapped CUDA streams, mjlab)

andersevenrud /nordic.nvim

Lua1719

A nord-esque colorscheme for neovim

icyleaf /halite

Crystal17113

💎HTTP Requests Client with a chainable REST API, built-in sessions and middlewares.

crystal
http-client
chainable-methods
http-session

mir-ashiq /canvix

TypeScript17145

Canvix — Free & open-source graphic design tool. A community-built Canva alternative with a drag-and-drop editor, templates, shapes, text, images & one-click export. Works on desktop, tablet & mobile.

canva-alternative
canvas
design
design-tool

CosmicNvim /cosmic-ui

Lua1701

Cosmic-UI is a simple wrapper around specific vim functionality. Built in order to provide a quick and easy way to create a Cosmic UI experience with Neovim!