Programming language agnostic type construction language based on polynomials.
- type-definitions
- serialization-library
- types
- f-algebras
64,764 visible repositories in the index
7,825–7,848 of 11,838 · Most stars
Programming language agnostic type construction language based on polynomials.
Docker-compatible container CLI built on Apple's Containerization framework. Same commands, same flags, mocker run, ps, stop, build, compose, stats, all working on macOS 26.
A graphql query language and schema definition language parser and formatter for rust
A cross-platform chess library for Swift
Great packages that use Scapy
A Blazor wrapper for the File System Access browser API.
Minimalistic HTML templates for Elixir, inspired by Slim.
ZMarkupParser is a pure-Swift library that helps you convert HTML strings into NSAttributedString with customized styles and tags.
TranslatedMedical paper writing and research assistant: 32 Agent Skills for Chinese physicians and medical graduate students, usable with Claude Code and Codex, covering topic selection, PubMed literature search, Chinese and English writing, journal selection and submission, and peer review and revision. Medical writing & research skills.
The metalua programming language
An opinionated, curated list of tools for enforcing software development standards: one recommended tool per job, with limits.
a simple plugin to manage workspace directories in neovim
Jupyter's kernel for Elixir programming language
TranslatedThe keyboard for the agent era: dictation, copy text from screen, translation, snaps and screen recordings for Claude Code, Codex and your other agents. Free, open source, Mac. 口喷鸡 (Kou Pen Ji, "mouth-spraying chicken").
Photoreal Blender scenes from a one-paragraph brief, built by AI agents: image→3D props on fal, scripted layout, lighting, camera and grade.
Pure OCaml Git format and protocol
🔊Minimalist message bus implementation for internal communication with zero-allocation magic on Emit
A curated list of awesome resources for Graal, GraalVM, Truffle and related topics
Flexible and easy to use page transitions.
The D Completion Daemon is an auto-complete program for the D programming language
Resource Query Language for REST
Put your idea on trial in front of a jury of 12 Claudes. A free Claude Code skill.
Easily output ASCII tree from Go program or Markdown unordered list . There's also CLI tool that can output tree from JSON, YAML, or TOML! It's called *xtree*.
Official Code: Implicit 3D Orientation Learning for 6D Object Detection from RGB Images