中文小黑怪诞正文配图生成 Skill | 16:9 白底手绘 | 少量红橙蓝批注 | Codex Skill

MCP server for Bazi (八字) information

"We can wander through the stacks of the Library of Alexandria, imagining the scrolls and the knowledge they contain. Its destruction is a warning: all we have is transient.”--Alberto Manguel

Tyme是一个非常强大的日历工具库，可以看作 Lunar 的升级版，拥有更优的设计和扩展性，支持公历、农历、藏历、星座、干支、生肖、节气、法定假日等。

Lightweight MicroVM VMM built on Cloud Hypervisor for AI

紫微知道 ZiweiKnows - 基于紫微斗数的开源命盘工具，精准排盘 + AI 解读，支持自部署

cliamp - Terminal music player inspired by winamp

async programming library for MoonBit

Bub it. Build it.

Entire is a new developer platform that hooks into your git workflow to capture AI agent sessions on every push, unifying your code with its context and reasoning.

Post-quantum cryptography in Rust

Post-quantum cryptography in Go

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-through-Oxidized-OCaml

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"

A collaborative bibliography of work related to the theory and practice of computational effects

The Xapi Project's XenAPI Server

A composable build system for OCaml.

Home of the Xapi-project docs site

Book in preparation: introduction to theoretical computer science

A List of Foundational Haskell Papers

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

This course is designed to teach students Haskell from zero to everything needed to work with Marlowe and Plutus. The course itself doesn't contain content specific to Marlowe or Plutus. So, if you…