Lists (24)
Android apps
Free and open source Android apps I use.7 repositories
Anki plugins
Anki plugins I use.4 repositories
Browser extensions
Browser extensions I use and appreciate.9 repositories
Fonts
Nice fonts.8 repositories
Free and open source tools
Great free and open source tools.19 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.34 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.12 repositories
Web
Web things.4 repositories
Zotero plugins
Useful plugins for Zotero.2 repositories
Starred repositories
🦀 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 JavaScript tools written in Rust.
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 Coq 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.
A pure functional language for type-level programming in Rust
A symbolic model checker for Dynamic Epistemic Logic.
Firefox Multi-Account Containers lets you keep parts of your online life separated into color-coded tabs that preserve your privacy. Cookies are separated by container, allowing you to use the web …