liquid-java

liquid-java/liquidjava

Vedi su GitHub

Refinement type checker for Java with liquid types and typestates - catch bugs at compile time

Stelle
67
Fork
36
Issue aperte per principianti
0
Issue indicizzate
16
Merge medio
10g 18h
PR unite (30g)
3
Lingua principale
Java
Licenza
MIT
Ultimo push su GitHub
13/9/2026
Ultima indicizzazione
19/9/2026
Guida per i contributori
Guida per i contributori
Codice di condotta
Codice di condotta
Label per principianti
good first issue
16 issue aperte indicizzate Caricamento delle issue

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.