JaTyC: a typestate checker for Java
☆19Sep 3, 2025Updated 6 months ago
Alternatives and similar repositories for java-typestate-checker
Users that are interested in java-typestate-checker are comparing it to the libraries listed below
Sorting:
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Apr 8, 2022Updated 3 years ago
- ☆17Apr 21, 2025Updated 10 months ago
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 6 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆17Feb 26, 2025Updated last year
- Deadlock freedom by type checking☆20Jun 2, 2023Updated 2 years ago
- Curated list of machine learning and deep learning frameworks and resources for JVM☆20Dec 9, 2020Updated 5 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- ☆21Jul 11, 2022Updated 3 years ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Sep 9, 2025Updated 5 months ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Nov 7, 2024Updated last year
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Jul 9, 2024Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 5 months ago
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- A framework for the large scale analysis of programming language usage.☆30Jun 27, 2023Updated 2 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Oct 30, 2020Updated 5 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Jul 12, 2025Updated 7 months ago
- ☆10Jul 29, 2022Updated 3 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- Coq library on rewriting theory and termination☆37Jan 27, 2026Updated last month
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 3 months ago
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- An embedded probabilistic programming language.☆34Mar 6, 2017Updated 8 years ago
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- ☆12Nov 22, 2024Updated last year
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A distributed Oracle system for IoT data☆11Apr 12, 2023Updated 2 years ago
- ☆12Jun 3, 2024Updated last year
- Generalized Optimal Transport Attention with Trainable Priors☆24Jan 25, 2026Updated last month
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- jMolecules integration for IntelliJ based IDEs like IDEA☆10Feb 22, 2024Updated 2 years ago
- Playing with type systems☆51Dec 29, 2024Updated last year
- ☆35Jun 21, 2020Updated 5 years ago
- An SMT Solver for string constraints☆48Feb 10, 2026Updated 3 weeks ago
- Session Type EDSL for Rust☆103Jun 29, 2022Updated 3 years ago
- Refinement type checker for Java with liquid types and typestates - catch bugs at compile time☆54Updated this week
- JaKtA is a Kotlin internal DSL for the definition of BDI agents.☆11Updated this week