SoSy-Lab Java Common Library
☆14Mar 17, 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
Sorting:
- JavaSMT - Unified Java API for SMT solvers.☆231Updated this week
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 8 years ago
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 4 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
- Proceedings of ISP RAS LaTeX Template☆13Apr 28, 2020Updated 5 years ago
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆280Mar 12, 2026Updated last week
- A github WebHook that emails detailed diffs of your commits.☆26Oct 13, 2018Updated 7 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
- Clade is a tool for extracting information about software build process and source code☆22Dec 18, 2023Updated 2 years ago
- The MemCAD static analyzer☆27Oct 15, 2021Updated 4 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆252Updated this week
- Collection of Verification Tasks (MOVED, please follow the link)☆188Oct 28, 2021Updated 4 years ago
- ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set☆21Dec 23, 2024Updated last year
- Grph is a high-performance Java library for the manipulation of graphs.☆20Sep 1, 2021Updated 4 years ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆33Mar 12, 2026Updated last week
- Tiny Clojure library for working with Java property lists (java.util.Properties)☆39Jul 3, 2017Updated 8 years ago
- Fastest Minimalist CoffeeScript/JavaScript CoffeeCup/Handlebars/Mustache template engine.☆46Jan 13, 2013Updated 13 years ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- KLEE's version of uClibc☆56May 31, 2024Updated last year
- 各种有用的web api 基于Golang, Python(tornado django scrapy gevent)☆10Feb 19, 2016Updated 10 years ago
- Record and replay mouse movements. An utility written in vanilla javascript.☆10Dec 17, 2015Updated 10 years ago
- react版移动端地址选择器☆10Dec 22, 2015Updated 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
- Makes it easier to comb through Apple's OTA updates.☆12Feb 6, 2024Updated 2 years ago
- ☆10Dec 8, 2015Updated 10 years ago
- JavaFX wrapper for CodeMirror☆10Sep 19, 2017Updated 8 years ago
- This is a server-side session extension for Flask, which uses Redis to store the session.☆10Jun 21, 2015Updated 10 years ago
- Buildtime Trend Python library☆13Dec 11, 2022Updated 3 years ago
- Lightweight Python module for daemonizing☆10Jan 25, 2022Updated 4 years ago
- Automation Framework (Java) using Selenium, TestNG☆10Mar 3, 2024Updated 2 years ago
- Plone Core Development Buildout☆79Updated this week
- More responsive Ruby/Rails caching☆10Jun 18, 2018Updated 7 years ago
- General introduction to full stack development.☆12Aug 7, 2019Updated 6 years ago
- Java library for parsing and evaluating handwritten mathematical formulae☆11Dec 28, 2016Updated 9 years ago
- CMS Boiler plate using Laravel and the OpenSource adminLTE theme☆10Dec 23, 2015Updated 10 years ago
- Tool and library for managing rendered, environment-specific branches☆55Sep 18, 2025Updated 6 months ago
- サイボウズ社のkintoneを.NET Framework上で扱うためのライブラリです (※非公認)☆15Jun 9, 2018Updated 7 years ago