Lean 4 programming language and theorem prover

Hugo documentation theme as simple as plain book

⏩ Continue is the leading open-source AI code assistant. You can connect any models and any context to build custom autocomplete and chat experiences inside VS Code and JetBrains

Cross-platform, fast, feature-rich, GPU based terminal

Typst package for drawing diagrams with arrows, built on top of CeTZ.

Powerful menu bar manager for macOS

A local-first personal finance app

A neovim plugin to navigate and execute code cells

Packages for Typst.

Make Beautiful Flow Diagrams

Main website and documentation for Actual Budget

A new markup-based typesetting system that is powerful and easy to learn.

Quick Look extension for highlight source code files on macOS 10.15 and later.

ArcticDB is a high performance, serverless DataFrame database built for the Python Data Science ecosystem.

List of papers studying machine learning through the lens of category theory

Simple hotkey daemon for macOS

AppleScript for iTerm2 Alfred integration.

A use-package inspired plugin manager for Neovim. Uses native packages, supports Luarocks dependencies, written in Lua, allows for expressive config

Self study on Cryer and Chan's "Time series analysis with applications in R"

🎓 Path to a free self-taught education in Computer Science!

pgf/TikZ diagram editor

GnuCash Double-Entry Accounting Program.

Firefly III: a personal finances manager

Actual's server

An exercise in refactoring over the GNU TeXmacs codebase

Have Zotero interact with TeXmacs

Companion webpage for the book "Bayesian Optimization" by Roman Garnett

matplotlib: plotting with Python

High performance datastore for time series and tick data

Sioyek is a PDF viewer with a focus on textbooks and research papers