Advanced date, time and interval library for Java with sun/moon-astronomy and ca
Java412lgpl-2.1
3 months ago
calendardurationinterval
neovim support for the Lean theorem prover
Lua187mit
leanlean4leanprover
DNS-based Host Blocker (and lightweight ad blocker) for Android
Java2086gpl-3.0
2 years ago
ad-blockeradblockandroid