Experimental driver for the reMarkable 2 E-Ink display

An unprofessional open-source Chinese font derived from Fontworks' Klee One. 一款非专业的开源中文字体，基于 FONTWORKS 出品字体 Klee One 衍生。

Verified Intermediate Representation

The official Python SDK for the Agentica agent framework

Run Typst in JavaScriptWorld.

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

Fix Play Integrity verdicts.

🥢像老乡鸡🐔那样做饭。主要部分于2024年完工，非老乡鸡官方仓库。文字来自《老乡鸡菜品溯源报告》，并做归纳、编辑与整理。CookLikeHOC.

A Git-compatible VCS that is both simple and powerful

embedded-hal abstractions for AVR microcontrollers

A tacit array programming language

哈基密文加密器 | 哈吉米语翻译器 | 端到端加密聊天工具

Printf-Style Debugging with Zero-Cost in Production Builds

Lean Theorem Prover MCP

A simplified subset of C transpiled into Web Assembly

A neurosymbolic perspective on LLMs

Subcommand to show result of macro expansion

Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need

Meowlang is an esoteric programming language designed for cats.

Neovim support for the Lean theorem prover

MagSpoof is a portable device that can spoof/emulate any magnetic stripe or credit card "wirelessly", even on standard magstripe readers.

The Magic Mask for Android

Lean circuit DSL

A Parallel SAT Solver with GPU Accelerated Inprocessing

Kani Rust Verifier

A scrollable-tiling Wayland compositor.

A utility to stream (and record) from a Remarkable2 without hack or third party dependencies

Rewriting Principia Mathematica in Lean