Advanced date, time and interval library for Java with sun/moon-astronomy and ca

Java439lgpl-2.1

9 months ago

calendardurationinterval

Neovim support for the Lean theorem prover

Lua278mit

3 days ago

leanlean4leanprover

DNS-based Host Blocker (and lightweight ad blocker) for Android

Java2141gpl-3.0

2 years ago

ad-blockeradblockandroid