OlingCat
Follow
Stars
Resource Han Rounded, a rounded font family derived from Source Han Sans.
Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font for IDE and terminal, fine-grained customization options. 带连字和控制台图标的圆角等宽字体，中英文宽度完美2:1，细粒度的自定义选项
The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
MoonBit Port of Implementations for Pierce's Types and Programming Languages
🔥 🔥 🔥 Open Source JIRA, Linear, Monday, and Asana Alternative. Plane helps you track your issues, epics, and cycles the easiest way on the planet.
Xiaomi Home Integration for Home Assistant
⭕ Share quick reference cheat sheet for developers.
Get started learning C# with C# notebooks powered by .NET Interactive and VS Code.
牛津通识读本 Logic: A Very Short Introduction 新译本（补充了第2版新增的两章）
本书为《Programming Rust - Fast, Safe Systems Development》第2版的个人中文翻译，仅供学习和交流使用，如有侵权请联系作者删除
A Coq formalization of the textbook Categories and Toposes: Visualized and Explained
shiroa is a simple tool for creating modern online books in pure typst.
Book of Elementary Functional Algorithms and Data structures
Agda is a dependently typed programming language / interactive theorem prover.
LLMs as Copilots for Theorem Proving in Lean
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Plugin for Zshell that extracts the archive file you pass it
A proof assistant and a dependently-typed language
A purely functional programming language with first class types