SoSy-Lab Java Common Library
☆18Nov 1, 2026Updated this week
Alternatives and similar repositories for java-common-lib
Users that are interested in java-common-lib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Sep 24, 2022Updated 4 years ago
- JavaSMT - Unified Java API for SMT solvers.☆245Updated this week
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆295Updated this week
- get pdf link from overleaf read key, showcase pdf without code☆14Jun 23, 2024Updated 2 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆269Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 11 months ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- Find and display orphaned images on a Proxmox VE Ceph Cluster☆12Nov 12, 2023Updated 2 years ago
- Information to reproduce results from SV-COMP (MOVED, please follow the link)☆15Oct 28, 2020Updated 6 years ago
- Proceedings of ISP RAS LaTeX Template☆13Apr 28, 2020Updated 6 years ago
- ☆21Nov 18, 2022Updated 3 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆192Oct 28, 2021Updated 5 years ago
- The MemCAD static analyzer☆27Oct 15, 2021Updated 5 years ago
- Clade is a tool for extracting information about software build process and source code☆26Oct 26, 2026Updated last week
- 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.
- An I/O-efficient implementation of (Binary) Decision Diagrams☆34Sep 1, 2026Updated 2 months ago
- Grph is a high-performance Java library for the manipulation of graphs.☆22Sep 1, 2021Updated 5 years ago
- ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set☆22Dec 23, 2024Updated last year
- 利用 Haraka 搭建简易临时邮箱☆11Feb 18, 2018Updated 8 years ago
- Examples for JTransc☆11Sep 13, 2017Updated 9 years ago
- A github WebHook that emails detailed diffs of your commits.☆26Oct 13, 2018Updated 8 years ago
- A free multithreaded proxy checking program written in Java. Load a proxy list and check each proxy to verify it's alive to create a new …☆11Nov 5, 2015Updated 10 years ago
- ☆10Sep 24, 2023Updated 3 years ago
- RefreshFragementViewPager☆19Jul 13, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- View binding library☆20Mar 15, 2018Updated 8 years ago
- Convex for Kotlin Multiplatform☆12Jan 15, 2026Updated 9 months ago
- Self-hosted over-the-air code push for Flutter (Android) — ship Dart-only updates to installed apps without a Play Store release. An open…☆24Jun 16, 2026Updated 4 months ago
- MakoSU Android kernel-root manager with KMI-aware LKM, SuSFS, KPM, and recovery-focused maintenance tools.☆20Oct 14, 2026Updated 2 weeks ago
- plays the puzzle game LYNE☆10Sep 6, 2014Updated 12 years ago
- Get movie & Tv Shows stream by IMDB, TMDB.☆20Oct 22, 2026Updated last week
- Element queries with Polymer (experimental fork)☆19Nov 30, 2014Updated 11 years ago
- Automation Framework (Java) using Selenium, TestNG☆10Mar 3, 2024Updated 2 years ago
- 🍞 A powerful and elegant toast notification library for Compose Multiplatform with gestures, animations, and theming support.☆22Jul 3, 2026Updated 3 months ago
- 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.
- SpotsDialog☆14Jan 1, 2016Updated 10 years ago
- Tool and library for managing rendered, environment-specific branches☆53Sep 18, 2025Updated last year
- KLEE's version of uClibc☆59May 31, 2024Updated 2 years ago
- This library help you to sent email to gmail☆22Dec 17, 2019Updated 6 years ago
- Pickleib helps automate tests for WebUI, MobileUI, Desktop UI, API, Email, DataBase, Localisation and more!☆12Apr 11, 2026Updated 6 months ago
- An Electron athlete time logging app☆10Sep 28, 2026Updated last month
- ☆23Jul 10, 2021Updated 5 years ago