☆12Dec 10, 2025Updated 11 months ago
Alternatives and similar repositories for proofs
Users that are interested in proofs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Nov 21, 2024Updated last year
- IntelliJ IDEA Community Edition & IntelliJ Platform☆15Oct 11, 2026Updated last month
- various ElasticSearch analyzer plugins useful for analyzing ancient Hebrew☆14Aug 28, 2023Updated 3 years ago
- Converts Sefaria-Export to SQL database☆14Jan 27, 2019Updated 7 years ago
- An implementation of the IntelliJ look and feels in Compose for Desktop☆14Dec 10, 2024Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Source code behind the site kobweb.varabyte.com☆14Nov 24, 2024Updated last year
- ☆15Jan 2, 2024Updated 2 years ago
- ☆14Jun 4, 2023Updated 3 years ago
- Koin - a pragmatic lightweight dependency injection framework for Kotlin & Kotlin Multiplatform☆14Nov 4, 2024Updated 2 years ago
- An opinionated toast component for Compose Multiplatform.☆14Nov 4, 2024Updated 2 years ago
- An Android RSS reader presented in Material You style.☆14Nov 14, 2024Updated last year
- ☆15Apr 27, 2025Updated last year
- ☆15Sep 30, 2024Updated 2 years ago
- Network Watcher is a lightweight Android utility class that provides easy-to-use network connectivity monitoring. It helps developers tra…☆15Dec 8, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- the library for otzaria app, with the scripts that created it☆15Jul 1, 2025Updated last year
- ☆15Jul 20, 2025Updated last year
- Ubuntu Yaru Flutter widgets and themes for building desktop and web applications☆15Aug 22, 2025Updated last year
- Super fast and free text editor for all platforms☆15May 4, 2025Updated last year
- Minesweeper-like puzzle game☆15May 5, 2025Updated last year
- Kotlin Multiplatfom development documentation☆15May 3, 2025Updated last year
- Issue tracker and new submissions☆14May 1, 2025Updated last year
- Kotlin logging library that makes your logs look more ✨ 𝙥𝙧𝙚𝙩𝙩𝙮 ✨☆14Apr 30, 2025Updated last year
- The SecondTempleTimer library offers a robust set of methods to calculate and retrieve various time intervals since the destruction of th…☆15Sep 1, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆16Aug 21, 2025Updated last year
- Simple Gallery is a photo management and editing app for Kosher Android devices, offering a customizable interface, support for various p…☆17Jan 8, 2024Updated 2 years ago
- ☆15Jan 3, 2025Updated last year
- An open-source MS-Office AI Assistant☆22May 13, 2026Updated 6 months ago
- A bash script for install netfree certificate for all java programs (like Android Studio)☆16May 15, 2025Updated last year
- WinToastLibC is a C bindings for WinToast library. With this bindings you can use the modern toast notifications of Windows 8 & Windows 1…☆16May 9, 2025Updated last year
- A file explorer for Android devices that does not support video files.☆17Jan 9, 2024Updated 2 years ago
- YTExtractor is a library designed for developers who need to retrieve metadata from YouTube videos and playlists. It provides a simple AP…☆17Mar 21, 2025Updated last year
- For educational purposes: learn how to program in C# and start building your own tools.☆19Dec 15, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Android Context Provider is a simple utility library that allows you to easily access the application context from anywhere in your app. …☆18Dec 8, 2024Updated last year
- Connect with faith through a curated selection of Israeli religious radio stations, offering spiritual music, teachings, and news in one …☆18Jan 29, 2024Updated 2 years ago
- A Kotlin Compose library for Gtk4 and Adw☆18Sep 30, 2025Updated last year
- Fluent Design UI library for Compose Multiplatform☆21Aug 27, 2026Updated 2 months ago
- A Kotlin Compose Desktop Template designed for Android developers transitioning to desktop projects. Features MVVM architecture, native f…☆19Feb 11, 2024Updated 2 years ago
- ☆20Oct 1, 2024Updated 2 years ago
- ☆20Dec 26, 2024Updated last year
Are these results useful?