SoSy-Lab Java Common Library
☆17Aug 9, 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:
- JavaSMT - Unified Java API for SMT solvers.☆242Updated this week
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 9 months 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 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆289Updated this week
- Proceedings of ISP RAS LaTeX Template☆13Apr 28, 2020Updated 6 years ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Sep 24, 2022Updated 3 years ago
- ☆21Nov 18, 2022Updated 3 years ago
- The MemCAD static analyzer☆27Oct 15, 2021Updated 4 years ago
- Clade is a tool for extracting information about software build process and source code☆24Dec 18, 2023Updated 2 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆262Updated this week
- Collection of Verification Tasks (MOVED, please follow the link)☆192Oct 28, 2021Updated 4 years ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆33Jun 27, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set☆22Dec 23, 2024Updated last year
- Grph is a high-performance Java library for the manipulation of graphs.☆20Sep 1, 2021Updated 4 years ago
- A github WebHook that emails detailed diffs of your commits.☆26Oct 13, 2018Updated 7 years ago
- ☆19Aug 25, 2023Updated 2 years ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- KLEE's version of uClibc☆56May 31, 2024Updated 2 years ago
- CMS Boiler plate using Laravel and the OpenSource adminLTE theme☆10Dec 23, 2015Updated 10 years ago
- 各种有用的web api 基于Golang, Python(tornado django scrapy gevent)☆10Feb 19, 2016Updated 10 years ago
- Java, but worse☆10Sep 23, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Record and replay mouse movements. An utility written in vanilla javascript.☆10Dec 17, 2015Updated 10 years ago
- The Simplest ToDo List☆17Apr 13, 2016Updated 10 years ago
- This repository contains notes and documents related to my atmospheric modeling postdoctoral work at UC Berkeley☆10Oct 31, 2015Updated 10 years ago
- react版移动端地址选择器☆10Dec 22, 2015Updated 10 years ago
- Makes it easier to comb through Apple's OTA updates.☆12Feb 6, 2024Updated 2 years ago
- ☆10Dec 8, 2015Updated 10 years ago
- Buildtime Trend Python library☆14Dec 11, 2022Updated 3 years ago
- JavaFX wrapper for CodeMirror☆10Sep 19, 2017Updated 8 years ago
- Lightweight Python module for daemonizing☆10Jan 25, 2022Updated 4 years 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.
- JavaScript application to generate mind maps, it contains also my collection of maps UNMANTEINED☆15Dec 19, 2015Updated 10 years ago
- Automation Framework (Java) using Selenium, TestNG☆10Mar 3, 2024Updated 2 years ago
- This is a server-side session extension for Flask, which uses Redis to store the session.☆10Jun 21, 2015Updated 11 years ago
- Thumbnail generator for Sculpin-based websites and blogs☆10Aug 3, 2026Updated last week
- ☆14Dec 18, 2015Updated 10 years ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆79Aug 2, 2026Updated last week
- Dat Project Website [ DEPRECATED - More info on active projects and modules at https://dat-ecosystem.org/ ]☆23Jan 26, 2022Updated 4 years ago