Logic and Mechanized Reasoning

Beancount: Double-Entry Accounting from Text Files.

Preview TeX math equations inline

Access Java classes from Python

Think fearlessly with end-to-end encrypted notes and files. For issues, visit https://standardnotes.com/forum or https://standardnotes.com/help.

Server ecosystem for Standard Notes; fully self-hostable.

Algorithm Snippets for Competitive Programming in Rust

The Ultimate program analysis framework.

A demo implementation of a simple dependently-typed language

Open Source Continuous File Synchronization

The HTML Presentation Framework

The reveal.js Speaker Notes Server Plugin

A curated list of awesome Electron alternatives.

Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

LaTeX template for my personal resume

Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.

Seamless operability between C++11 and Python

Dafny is a verification-aware programming language

Provides a ready-to-go Baikal server, incl. docker-compose.yml & Systemd service file

A Docker image for Seafile server

Beyond file syncing and sharing, a new way to organize your files with extensible file properties and flexible views

Baïkal is a Calendar+Contacts server

Collection of advice for prospective and current PhD students

Open CS Application | 开源CS申请

Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand

Build your personal knowledge base with Trilium Notes

Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Rudimentary Roam replica with Org-mode