reptee

RecurringExpenseTracker

A Material You recurring expense tracker, allowing you to keep track of your monthly spending.

tachyonfx

shader-like effects library for ratatui applications

debase

drag & drop git editing from the comfort of your terminal

zathura

Document viewer

pdfarranger

Small python-gtk application, which helps the user to merge or split PDF documents and rotate, crop and rearrange their pages using an interactive and intuitive graphical interface.

haskellweekly

Publishes curated news about the Haskell programming language.

system-manager

Manage system config using nix on any distro

pqiv

Powerful image viewer with minimal UI

mathlib4

The math library of Lean 4

lean4

Lean 4 programming language and theorem prover

OCRmyPDF

OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

axel

Lightweight CLI download accelerator

KaTeX

Fast math typesetting for the web.

anki

Anki's shared backend and web components, and the Qt frontend

pandoc-latex-template

A pandoc LaTeX template to convert markdown files to PDF or LaTeX.

mermaid-filter

Pandoc filter for creating diagrams in mermaid syntax blocks in markdown docs

LuaSnip

Snippet Engine for Neovim written in Lua.

sad

CLI search and replace | Space Age seD

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

asterius

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

keepassxc

KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.

htaglib

Haskell bindings for TagLib, an audio meta-data library

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

lean.nvim

neovim support for the Lean theorem prover

zk-nvim

Neovim extension for zk

zk

A plain text note-taking assistant

emanote

Emanate a structured view of your plain-text notes

kanata

Improve keyboard comfort and usability with advanced customization

neovim

Vim-fork focused on extensibility and usability

openboard