TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
-
Updated
Aug 6, 2025 - Java
#
specifications
Here are 13 public repositories matching this topic...
Lightweight layer on top of JPA for easy query construction in Java
-
Updated
Feb 8, 2023 - Java
This project is to use generic specifications of Spring Data JPA to query any parameter
-
Updated
Dec 14, 2019 - Java
Projeto API REST com Spring Boot utlizado em um minicurso no evento de Projetos e Carreiras TI na UFOPA, campus de Oriximina
java docker spring postgresql specifications springboot mapstruct testcontainers integration-test vitrinedev
-
Updated
Dec 16, 2022 - Java
Specification documents, examples and schema files
-
Updated
Jun 24, 2025 - Java
Progetto intermedio 1 di Programmazione 2 del Corso di Laurea in Informatica dell'Università di Pisa
-
Updated
Nov 29, 2018 - Java
Simple demo on jpa-specifications
-
Updated
Apr 2, 2019 - Java
Alura — Spring Data JPA: Repositórios, Consultas, Projeções e Specifications
-
Updated
Mar 23, 2022 - Java
MIT 6.005 Undergraduate Software Construction
java unit-testing synchronization concurrency specifications assertions equality mutability recursion code-review antlr4 software-engineering abstract-data-types regression-testing regular-expressions interfaces parser-generators exceptions-handling static-checking
-
Updated
Jan 29, 2025 - Java
Reduces the overhead of composing and maintaining Specifications. Enhances code legibility with a fluent API, makes conditional query building easy, and supports query optimization for fetching associated Entities eagerly.
java spring spring-data specifications hibernate specification-pattern spring-data-jpa hibernate-jpa hibernate-jpamodelgen spring-data-jpa-specification java-17
-
Updated
Mar 2, 2025 - Java
TPs de la materia Algoritmos y Estructuras de Datos II, UBA-FCEN
java specifications classes binary-search-tree heap object-oriented-programming weakest-preconditions
-
Updated
Aug 7, 2025 - Java
Advanced search query with EntityGraphs and Specifications
spring-boot paths csv-files specifications postgresql-database one-to-many spring-data-jpa jpql unittesting many-to-many mockmvc many-to-one springweb mockito-junit-test fileprocessing entitygraph testcontainers-junit-jupiter file-nio
-
Updated
May 18, 2024 - Java
Improve this page
Add a description, image, and links to the specifications topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the specifications topic, visit your repo's landing page and select "manage topics."