Lists (26)
Android apps
Free and open source Android apps I use.7 repositories
Anki plugins
Anki plugins I use.4 repositories
Bible software
3 repositories
Browser extensions
Browser extensions I use and appreciate.9 repositories
eReader software
1 repository
Fonts
Nice fonts.8 repositories
Free and open source tools
Great free and open source tools.20 repositories
Homelab fun
Self-hosted things.3 repositories
Language learning
Tools and resources for language learning that I use.8 repositories
LaTeX packages
Interesting LaTeX tools and packages5 repositories
Lean
3 repositories
Maps
Maps!2 repositories
Modal logic
1 repository
OCaml libraries
Cool OCaml libraries.7 repositories
OpenStreetMap
OpenStreetMap tools.3 repositories
Programming languages
Fun and useful PL things.35 repositories
Purescript libraries
Useful libraries for Purescript!3 repositories
Readings
1 repository
Rust libraries
Useful Rust libraries!13 repositories
Thunderbird addons
Useful Thunderbird addons.7 repositories
Tmux plugins
Useful plugins for tmux.1 repository
Typescript libraries
1 repository
Typst libraries
Typst libraries that seem useful.6 repositories
Vim/Neovim plugins
Plugins I can't go without.11 repositories
Web
Web things.4 repositories
Zotero plugins
Useful plugins for Zotero.2 repositories
Starred repositories
A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
This project is used to build the website https://www.dailyoffice2019.com. The site invites you to join with Christians around the world in praying with the Church, at any time or in any place you …
Structured copies of Reformed creeds, confessions and catechisms. Readily useful for software applications.
An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices
🦀 Supercharge your Rust experience in Neovim! A heavily modified fork of rust-tools.nvim
An input method to write Sumero-Akkadian cuneiform using IBUS table engine.
Simple way to select cuneiform characters based on the strokes they are composed of.
𒂗𒈨𒅕𒃸: a Sumero-Akkadian cuneiform input method for macOS and Windows.
A handy way to parse, store and access JSON data from files or strings in LaTeX documents
Script font based on the work of the eleventh-century scribe Eadui Basan
A font based on the script of the ninth-century Book of Cerne
[WIP] All-in-One GM API types (Greasemonkey, Tampermonkey, Violetmonkey and etc)
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
⚓ A collection of high-performance JavaScript tools.
An interactive theorem prover based on lambda-tree syntax
Everything about note management. All in Zotero.
Customize your Zotero workflow.
A versatile, clean and minimal template for non-fiction writing. Ideal for class notes, reports, and books.
A collection of tools for writing technical documents that mix Rocq code and prose.
The most beautiful SMS messenger for Android - Revived
Friends don't let friends make certain types of data visualization - What are they and why are they bad.