Stars
Python script to manage a Sony DPT-RP1 without the Digital Paper App
Go app that allows you to access your reMarkable tablet files through the Cloud API
Preservation of iPod Clickwheel Games for iPod Nanos 3g to 5g and iPod Classics 5g to 7g
plasTeX plugin to build formalization blueprints.
shiroa is a simple tool for creating modern online books in pure typst.
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
🏞️ PicX 是一款基于 GitHub API 开发的图床工具，提供图片上传托管、生成图片链接和常用图片工具箱服务。
Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
🔤 Multilingual and i18n support tool for Jekyll Blogs
Translate HTML elements to vertical writing.
MaMpf (Mathematical Media Platform) — an E-Learning platform for mathematics featuring a media player & editor. Developed & deployed at Heidelberg University.
A simple visual editor for creating commutative diagrams.
This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://logseq.io/p/NX4mc_ggEV
Cross-platform rhythm game based on Java and libGDX.
Lightning-fast and Powerful Code Editor written in Rust
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
A proof assistant for general type theories