Proprietário
liquid-java
3 repositórios indexados · Ver no GitHub
-
liquidjava
Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
Java · 67 estrelas
-
latte
Lightweight aliasing tracking for Java - static analysis tool for pointer analysis
Java · 3 estrelas
-
liquidjava-docs
LiquidJava Documentation
SCSS · 0 estrelas
-
enhancement
liquid-java/liquidjava#240 · 1 responsável ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100
-
enhancement ide
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 45/100
liquid-java/liquidjava#206 ·
-
tests
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 25/100
liquid-java/liquidjava#198 ·
-
tests
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100
liquid-java/liquidjava#197 ·
-
tests
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
liquid-java/liquidjava#196 · 2 comentários ·
-
Improve Test Suite Abertaenhancement tests
liquid-java/liquidjava#174 · 1 comentário · 1 responsável ·
-
enhancement good first issue
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100
liquid-java/liquidjava#133 · 3 comentários ·
-
enhancement good first issue
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100
liquid-java/liquidjava#132 · 2 comentários ·
-
enhancement
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
liquid-java/liquidjava#131 ·
-
enhancement future
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
liquid-java/liquidjava#91 ·
-
bug
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
liquid-java/liquidjava#50 · 2 comentários ·
-
bug enhancement
liquid-java/liquidjava#44 · 1 comentário · 1 responsável ·
-
Add support for nested Ifs Aberta
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 42/100
liquid-java/latte#26 ·
-
Access this.root.value error Abertabug
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
liquid-java/latte#25 ·
-
enhancement
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
liquid-java/latte#24 ·
-
bug
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
liquid-java/latte#23 ·
-
liquid-java/latte#22 · 1 responsável ·
-
bug
liquid-java/latte#17 · 1 responsável ·
-
enhancement future
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
liquid-java/liquidjava#41 · 1 comentário ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
liquid-java/latte#12 · 1 comentário ·
-
Deal with external libraries Abertaenhancement
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
liquid-java/latte#5 · 1 comentário ·
-
enhancement good first issue
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
liquid-java/liquidjava#25 ·
-
liquid-java/liquidjava#13 · 2 comentários · 1 responsável ·
-
bug
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
liquid-java/liquidjava#11 ·