A constraint solver abstraction layer for Java
☆21Apr 16, 2023Updated 2 years ago
Alternatives and similar repositories for jconstraints
Users that are interested in jconstraints are comparing it to the libraries listed below
Sorting:
- Java Concolic Unit Testing Engine☆94Jul 3, 2014Updated 11 years ago
- This package is EasyOCR-based optical character recognition. Unlike EasyOCR, the package uses a pre-saved with onnx language models, so i…☆13Mar 9, 2025Updated 11 months ago
- Runtime checker for JS coding practices☆35Sep 13, 2022Updated 3 years ago
- Symbolic PathFinder☆165Updated this week
- A parser and AST for Lustre☆12Oct 30, 2024Updated last year
- Framework that implements code offloading with annotations based on Android☆11Sep 24, 2016Updated 9 years ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆11Mar 12, 2025Updated 11 months ago
- AI Composer from Certora Labs☆17Updated this week
- ☆12Feb 20, 2021Updated 5 years ago
- A repository contains all model definition and light-codegen config for different frameworks☆11Updated this week
- 블록코드 생성기☆17Jan 16, 2025Updated last year
- 2015年8月1日上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Sep 1, 2015Updated 10 years ago
- A new storage modeling for CloudSim simulator.☆10Jan 4, 2018Updated 8 years ago
- ☆12Aug 24, 2023Updated 2 years ago
- tocker: TDD for Dockerfile☆11Mar 13, 2017Updated 8 years ago
- Source Code For the Modern Web Application I am building in my Book☆15May 19, 2015Updated 10 years ago
- Processing CloudEvents with Spring and Knative - a quick tour☆11Mar 19, 2020Updated 5 years ago
- Eclipse plugins for the creation of graphical user interfaces that are based on trees.☆10Nov 2, 2018Updated 7 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Sep 12, 2018Updated 7 years ago
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- DAR introduces the diagonal scanning order for next-token prediction and proposes a direction-aware autoregressive transformer framework.☆18Apr 16, 2025Updated 10 months ago
- QUICr parametric abstract domain for sets☆12Jul 2, 2015Updated 10 years ago
- Ontology for Biobanking☆16Jun 11, 2025Updated 8 months ago
- This is an implementation of the Language Server Protocol for Jimple. It enables your IDE to provide code exploring features while workin…☆12Dec 15, 2023Updated 2 years ago
- Easy Communication Protocol For Web Workers☆78Aug 5, 2024Updated last year
- Group project for 6.035 at MIT. Compiles "Decaf" (simple C-like language without classes) to x86-64 assembly.☆11Feb 18, 2018Updated 8 years ago
- Natural language processing API to detect toxic chat.☆13Dec 10, 2021Updated 4 years ago
- Java implementation of an order statistic tree.☆13Jun 16, 2022Updated 3 years ago
- The source code demos for the yFiles for JavaFX diagramming library☆11Dec 4, 2023Updated 2 years ago
- ☆15Aug 26, 2023Updated 2 years ago
- ☆11Aug 12, 2022Updated 3 years ago
- C# to Java Compiler☆17Nov 9, 2016Updated 9 years ago
- JavaSMT - Unified Java API for SMT solvers.☆231Updated this week
- ☆17Jan 13, 2022Updated 4 years ago
- The Ciao Preprocessor☆13Jun 17, 2025Updated 8 months ago
- Adaptive computational oflloading using mobile cloud computing.☆13Apr 30, 2016Updated 9 years ago
- Dataset for ICSE 2020 paper "Repairing Deep Neural Networks: Fix Patterns and Challenges"☆10Feb 10, 2020Updated 6 years ago
- BDD-style unit-level testing framework for Java/Scala/Groovy. Safely isolates mutable state. Unlimited nesting.☆20Dec 11, 2018Updated 7 years ago
- ☆37Oct 16, 2024Updated last year