JaTyC: a typestate checker for Java
☆21Sep 3, 2025Updated last year
Alternatives and similar repositories for java-typestate-checker
Users that are interested in java-typestate-checker are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Deadlock freedom by type checking☆20Jun 2, 2023Updated 3 years ago
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆31Oct 16, 2026Updated 2 weeks ago
- Scala staging framework☆18Jul 13, 2018Updated 8 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 4 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.
- ☆11Apr 24, 2025Updated last year
- Save screenshots to a separate album.☆17Jan 1, 2016Updated 10 years ago
- Mechanized baselines for various type system features☆19Apr 14, 2026Updated 6 months ago
- Curated list of machine learning and deep learning frameworks and resources for JVM☆20Dec 9, 2020Updated 5 years ago
- ☆28Sep 14, 2015Updated 11 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated 2 years ago
- The Pat mailbox-typed programming language☆28Oct 20, 2026Updated last week
- Session Type EDSL for Rust☆108Jun 29, 2022Updated 4 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Sep 22, 2019Updated 7 years ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆34Sep 9, 2025Updated last year
- USB 2.0 data types☆13Mar 16, 2021Updated 5 years ago
- The prototype tool of a JML generation technique (paper accepted in ICSE'25) for Java programs.☆22Dec 24, 2025Updated 10 months ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆16Feb 26, 2025Updated last year
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 7 years ago
- jMolecules integration for IntelliJ based IDEs like IDEA☆11Feb 22, 2024Updated 2 years ago
- Gradle plugin for multi-backend Scala and sbt test frameworks☆13Oct 25, 2026Updated last week
- This repository contains an implementation of Nomos, a programming language for smart contracts based on resource-aware session types.☆25Oct 6, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- OSS DDS implementation in Rust☆18Updated this week
- A distributed Oracle system for IoT data☆11Apr 12, 2023Updated 3 years ago
- PC-miner tool for program chairs☆30Dec 18, 2025Updated 10 months ago
- ☆21Jul 11, 2022Updated 4 years ago
- sbt plugin for monitoring Scala.js artifact size☆14Dec 27, 2024Updated last year
- Compile Elixir statically☆34Dec 19, 2020Updated 5 years ago
- ☆11Dec 1, 2020Updated 5 years ago
- Doing research on top of Jalangi☆12Sep 9, 2016Updated 10 years ago
- Scala embedded universal probabilistic programming language☆11Apr 15, 2021Updated 5 years ago
- 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.
- ☆13Jun 25, 2026Updated 4 months ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆12May 14, 2023Updated 3 years ago
- Generic type declarations for e.g. TypeScript and JSON Schema☆16Apr 2, 2023Updated 3 years ago
- Project to benchmark and profile Error-Prone performance to uncover bottlenecks.☆12Apr 25, 2018Updated 8 years ago
- ☆14Oct 17, 2025Updated last year
- A simulator for visualising the evolution of π-calculus terms☆46Jun 14, 2022Updated 4 years ago
- ☆20Sep 16, 2026Updated last month