Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
☆54Updated this week
Alternatives and similar repositories for liquidjava
Users that are interested in liquidjava are comparing it to the libraries listed below
Sorting:
- Aeon programming language☆25Feb 9, 2026Updated 2 weeks ago
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- 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
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- ☆10Jun 11, 2023Updated 2 years ago
- ☆13Apr 27, 2025Updated 10 months ago
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆50Updated this week
- 🎲 A Kotlin DSL for probabilistic programming.☆12Apr 8, 2022Updated 3 years ago
- Deprecated☆39Nov 2, 2025Updated 3 months ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Jun 20, 2025Updated 8 months ago
- A VS Code extension that provides language support for prolog☆17Mar 2, 2025Updated 11 months ago
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]☆15Jul 22, 2024Updated last year
- Experiments with SAT solvers with proofs in Lean 4☆63Jun 23, 2024Updated last year
- Repository of the Haskell Blog☆15Jan 26, 2026Updated last month
- ☆34Oct 1, 2024Updated last year
- First Class Record Fields in Haskell☆17Jan 8, 2026Updated last month
- Efficient search weighted by an ordered monoid with monus.☆19Dec 12, 2022Updated 3 years ago
- My personal template repository for Racket packages☆16Sep 17, 2020Updated 5 years ago
- A very little language☆16Jul 1, 2023Updated 2 years ago
- My Generic Roguelike☆15Jan 19, 2025Updated last year
- My Idris2 solutions/attempts for Advent of Code 2020☆17Dec 16, 2020Updated 5 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
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- Repo for the talk "Monad Transformers For The Easily Confused", for LambdaConf 2018☆19Jun 4, 2018Updated 7 years ago
- Curated list of machine learning and deep learning frameworks and resources for JVM☆20Dec 9, 2020Updated 5 years ago
- VSCode support for Forester☆22Nov 17, 2025Updated 3 months ago
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆24Jan 19, 2026Updated last month
- [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution☆25Feb 10, 2025Updated last year
- ☆22Nov 23, 2023Updated 2 years ago
- ☆19Jun 1, 2024Updated last year
- JaTyC: a typestate checker for Java☆19Sep 3, 2025Updated 5 months ago
- An implementation of Git in Scala 3 with ZIO 2 with all episodes available on YouTube☆18Feb 11, 2023Updated 3 years ago
- [WIP] Optics via the profunctor representation theorem☆20Dec 18, 2019Updated 6 years ago
- ☆21Jul 11, 2022Updated 3 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago