fkastner

kopia

Cross-platform backup tool for Windows, macOS & Linux with fast, incremental backups, client-side end-to-end encryption, compression and data deduplication. CLI and GUI included.

HeliBoard

Customizable and privacy-conscious open-source keyboard

orgzly-android-revived

Outliner for taking notes and managing to-do lists

espanso

Cross-platform Text Expander written in Rust

emacs-org-mode-tutorial

A primer for users trying to make sense of Org Mode

geeqie

claiming to be the best image viewer / photo collection browser

clogwench

clapper

Level up your video experience with a modern and user-friendly media player.

ocaml-forester

Mirror of ocaml-forester

gedit-plugin-markdown_preview

A gedit plugin previewing markdown (.md) documents

logseq

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

writedown

✏ writedown - Free and Open Source Markdown Diary. Public Blogs and Private Notes.

NNG4

Natural Number Game

Aegis

A free, secure and open source app for Android to manage your 2-step verification tokens.

earlyoom

earlyoom - Early OOM Daemon for Linux

nautilus-terminal

A terminal embedded in Nautilus, the GNOME's file browser

learn-fpga

Learning FPGA, yosys, nextpnr, and RISC-V

JuliaLowering.jl

Julia code lowering with precise provenance

complex-function-plotter

WebGL Complex Function Plotter

InteractivePrompts.jl

Multi-modal menus

paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.

MittagLeffler.jl

Mittag-Leffler function

lean4

Lean 4 programming language and theorem prover

plastex

plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.

leanblueprint

plasTeX plugin to build formalization blueprints.

OpenBoard

OpenBoard is a cross-platform interactive whiteboard application intended for use in a classroom setting.

whyjulia-manifesto

Why Julia - A Manifesto.

zoxide

A smarter cd command. Supports all major shells.

joshuto

ranger-like terminal file manager written in Rust

obsidian-latex-suite

Make typesetting LaTeX as fast as handwriting through snippets, text expansion, and editor enhancements